Kai Xu

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Kai Xu, Donglin Liang
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. MoDELS (2007)
Donglin Liang, Kai Xu
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. QSIC (2007)
Donglin Liang, Kai Xu
Testing Scenario Implementation with Behavior Contracts. COMPSAC (1) (2006)
Donglin Liang, Kai Xu
Debugging object-oriented programs with behavior views. AADEBUG (2005)
Donglin Liang, Kai Xu
Monitoring with Behavior View Diagrams for Debugging. APSEC (2005)