A Formal Testing Framework for UML Statecharts.

Xuede Zhan

Browse the full SNPD paper archive.