Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J., 49(3):331-344, 2006. [doi]

Abstract

Abstract is missing.