Debugging and testing behavioral UML models.

Dolev Dotan, Andrei Kirshin

Browse the full OOPSLA paper archive.