Simulated Restriction of Coverage Criteria on UML State Machines.

Stephan Weileder, Thomas Rogenhofer

Browse the full ICST paper archive.