Hongwei Zeng

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

Coauthor Index

1	Jing Liu	[3]
2	Huaikou Miao	[1] [2] [3] [4] [5]
3	Zhicheng Wen	[1]