| |
| 2006 | ||
|---|---|---|
| 2 | 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 |
| 2004 | ||
| 1 | EE | Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng: Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC 2004: 284-291 |
| 1 | Jun Hu | [1] |
| 2 | Bin Lei | [2] |
| 3 | Xuandong Li | [1] [2] |
| 4 | Xiaokang Qiu | [2] |
| 5 | Linzhang Wang | [1] [2] |
| 6 | Xiaofeng Yu | [1] |
| 7 | Jianhua Zhao | [2] |
| 8 | Guoliang Zheng | [1] [2] |