Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed

Browse the full ICST paper archive.