Shuang Liu, Yang Liu, Jun Sun 0001, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong. USMMC: a self-contained model checker for UML state machines. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 623-626, ACM, 2013. [doi]
Abstract is missing.