Coverage-Based Testing with Symbolic Transition Systems.

Petra van den Bos, Jan Tretmans

Browse the full TAP paper archive.