Xuede Zhan

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

Coauthor Index

1	Ling Liu	[1] [3]
2	Huaikou Miao	[1] [2] [3]