Input Sequence Generation for Testing of Communicating Finite State Machines CFSMs (2004)

by K Derderian, R M Hierons, M Harman, Q Guo
Venue:In: LNCS