UML state machine diagram driven runtime verification of Java programs for message interaction consistency.

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. 384-389 2008 SAC http://doi.acm.org/10.1145/1363686.1363781 conf/sac/2008 db/conf/sac/sac2008.html#LiQWLW08