Passive Testing of Symbolic Systems. A IOCO Proxy-Tester Based Approach

sébastien Salva
January, 2012
PDF Cite
Type
1
Publication
International Review on Computers and Software (IRECOS)