Improving Test Coverage for UML State Machines Using Transition Instrumentation.

Mario Friske, Bernd-Holger Schlingloff

Browse the full SAFECOMP paper archive.