| |
| 2007 | ||
|---|---|---|
| 4 | EE | Xuede Zhan: A Formal Testing Framework for UML Statecharts. SNPD (3) 2007: 882-887 |
| 2004 | ||
| 3 | EE | Xuede Zhan, Huaikou Miao, Ling Liu: Formalizing the Semantics of UML Statecharts with Z*. CIT 2004: 1116-1121 |
| 2 | EE | Xuede Zhan, Huaikou Miao: An Approach to Formalizing the Semantics of UML Statecharts. ER 2004: 753-765 |
| 2002 | ||
| 1 | EE | Ling Liu, Huaikou Miao, Xuede Zhan: A Framework for Specification-Based Class Testing. ICECCS 2002: 153-162 |
| 1 | Ling Liu | [1] [3] |
| 2 | Huaikou Miao | [1] [2] [3] |