Model Checking UML Statecharts.

Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi

Browse the full APSEC paper archive.