dblp.uni-trier.dewww.uni-trier.de

Kai Xu

University of Minnesota

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


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

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)