Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong. UML state machine diagram driven runtime verification of Java programs for message interaction consistency. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 384-389, ACM, 2008. [doi]
Abstract is missing.