Kai Xu

University of Minnesota

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Kai Xu - CSIRO ICT Centre, Hobart, Australia
Kai Xu
Kai Xu - Columbia University, Department of Mechanical Engineering
Kai Xu - National University of Defense Technology, Changsha City, China

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

5 Kai Xu, Donglin Liang: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. MoDELS 2007: 620-634

4 Donglin Liang, Kai Xu: Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. QSIC 2007: 32-39

2006

3 Donglin Liang, Kai Xu: Testing Scenario Implementation with Behavior Contracts. COMPSAC (1) 2006: 395-402

2005

2 Donglin Liang, Kai Xu: Debugging object-oriented programs with behavior views. AADEBUG 2005: 133-142

1 Donglin Liang, Kai Xu: Monitoring with Behavior View Diagrams for Debugging. APSEC 2005: 637-644

	2007
5		Kai Xu, Donglin Liang: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. MoDELS 2007: 620-634
4		Donglin Liang, Kai Xu: Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. QSIC 2007: 32-39
	2006
3		Donglin Liang, Kai Xu: Testing Scenario Implementation with Behavior Contracts. COMPSAC (1) 2006: 395-402
	2005
2		Donglin Liang, Kai Xu: Debugging object-oriented programs with behavior views. AADEBUG 2005: 133-142
1		Donglin Liang, Kai Xu: Monitoring with Behavior View Diagrams for Debugging. APSEC 2005: 637-644

Coauthor Index

1 Donglin Liang [1] [2] [3] [4] [5]