Symbolic execution of UML-RT State Machines

Karolina Zurowska, Jürgen Dingel. Symbolic execution of UML-RT State Machines. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1292-1299, ACM, 2012. [doi]

Abstract

Abstract is missing.