%0 Conference Paper %1 li_08_uml %A Li, Xuandong %A Qiu, Xiaokang %A Wang, Linzhang %A Lei, Bin %A Wong, Eric W. %B SAC '08: Proceedings of the 2008 ACM symposium on Applied computing %C New York, NY, USA %D 2008 %I ACM %K 2008 statecharts uml %P 384--389 %R http://dx.doi.org/10.1145/1363686.1363781 %T UML state machine diagram driven runtime verification of Java programs for message interaction consistency %U http://dx.doi.org/10.1145/1363686.1363781 %@ 9781595937537

@inproceedings{li_08_uml, added-at = {2009-02-11T20:16:03.000+0100}, address = {New York, NY, USA}, author = {Li, Xuandong and Qiu, Xiaokang and Wang, Linzhang and Lei, Bin and Wong, Eric W.}, biburl = {https://www.bibsonomy.org/bibtex/2accb3e869b9abe8c57be0a583bded970/leonardo}, booktitle = {SAC '08: Proceedings of the 2008 ACM symposium on Applied computing}, citeulike-article-id = {2730903}, doi = {http://dx.doi.org/10.1145/1363686.1363781}, interhash = {f8c462e549147158357b9a763589f9d9}, intrahash = {accb3e869b9abe8c57be0a583bded970}, isbn = {9781595937537}, keywords = {2008 statecharts uml}, pages = {384--389}, posted-at = {2008-04-28 20:46:21}, priority = {2}, publisher = {ACM}, timestamp = {2009-02-11T20:16:03.000+0100}, title = {UML state machine diagram driven runtime verification of Java programs for message interaction consistency}, url = {http://dx.doi.org/10.1145/1363686.1363781}, year = 2008 }