Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs (2006)

by K Derderian, R M Hierons, M Harman, Q Guo
Venue:The Computer Journal