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

Browse the full SAC paper archive.