Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.

Sean Kauffman, Carlos Moreno, Sebastian Fischmeister

Browse the full ICST paper archive.