Formal Test-Case Generation for UML Statecharts.

Stefania Gnesi, Diego Latella, Mieke Massink

Browse the full ICECCS paper archive.