Generation of executable test cases based on behavioral UML system models.

Christian Schwarzl, Bernhard Peischl

Browse the full ICSE paper archive.