| |
| 2008 | ||
|---|---|---|
| 2 | EE | 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. SAC 2008: 384-389 |
| 2006 | ||
| 1 | EE | Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105 |
| 1 | Bin Lei | [1] [2] |
| 2 | Xuandong Li | [1] [2] |
| 3 | Linzhang Wang | [1] [2] |
| 4 | W. Eric Wong | [2] |
| 5 | Jiesong Yuan | [1] |
| 6 | Jianhua Zhao | [1] |
| 7 | Guoliang Zheng | [1] |