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

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

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

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

2006

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

2005

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

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

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