| |
| 2007 | ||
|---|---|---|
| 5 | EE | Huaikou Miao, Hongwei Zeng: Model Checking-based Verification of Web Application. ICECCS 2007: 47-55 |
| 4 | EE | Hongwei Zeng, Huaikou Miao: Auto-Generating Test Sequences for Web Applications. ICWE 2007: 301-305 |
| 3 | EE | Hongwei Zeng, Huaikou Miao, Jing Liu: Specification-based Test Generation and Optimization Using Model Checking. TASE 2007: 349-355 |
| 2006 | ||
| 2 | EE | Hongwei Zeng, Huaikou Miao: Data Communication Model of Grid Workflow. ICEBE 2006: 647-654 |
| 1 | EE | Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38 |
| 1 | Jing Liu | [3] |
| 2 | Huaikou Miao | [1] [2] [3] [4] [5] |
| 3 | Zhicheng Wen | [1] |