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

Publication
International Review on Computers and Software (IRECOS)