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]
@inproceedings{LiQWLW08,
title = {UML state machine diagram driven runtime verification of Java programs for message interaction consistency},
author = {Xuandong Li and Xiaokang Qiu and Linzhang Wang and Bin Lei and W. Eric Wong},
year = {2008},
doi = {10.1145/1363686.1363781},
url = {http://doi.acm.org/10.1145/1363686.1363781},
tags = {Java, program verification, UML, consistency, state machines},
researchr = {https://researchr.org/publication/LiQWLW08},
cites = {0},
citedby = {0},
pages = {384-389},
booktitle = {Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
editor = {Roger L. Wainwright and Hisham Haddad},
publisher = {ACM},
isbn = {978-1-59593-753-7},
}