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

Type
Publication
International Review on Computers and Software (IRECOS)