Linzhang Wang

	2009
12		Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
	2008
11		Lei Bu, You Li, Linzhang Wang, Xuandong Li: BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4
10		Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao: Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490
9		Bin Lei, Linzhang Wang, Xuandong Li: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209
8		Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
7		Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong: UML state machine diagram driven runtime verification of Java programs for message interaction consistency. SAC 2008: 384-389
	2007
6		Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
5		Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
	2006
4		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
3		Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
	2005
2		Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng: Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247
	2004
1		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

Coauthor Index

1	Lei Bu	[11]
2	Xin Chen	[10]
3	Zhanqi Cui	[10] [12]
4	Jun Hu	[1] [2] [3] [5]
5	Bin Lei	[4] [7] [9]
6	Xuandong Li	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12]
7	You Li	[11]
8	Xiaokang Qiu	[4] [7]
9	W. Eric Wong	[7]
10	Dianxiang Xu	[12]
11	Xiaofeng Yu	[1] [2] [3] [5] [6]
12	Jiesong Yuan	[1] [4]
13	Tian Zhang	[2] [3] [5] [6]
14	Yan Zhang	[2] [3] [5] [6]
15	Jianhua Zhao	[3] [4] [5] [6] [8] [10]
16	Guoliang Zheng	[1] [2] [4] [6]
17	Zhou Zhou	[10]