Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
Browse the full GECCO paper archive.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
Browse the full GECCO paper archive.