Debugging object-oriented programs with behavior views. - Donglin Liang; Kai Xu 002 (AADEBUG, 2005)

Monitoring with Behavior View Diagrams for Debugging. - Donglin Liang; Kai Xu 002 (APSEC, 2005)

Testing Scenario Implementation with Behavior Contracts. - Donglin Liang; Kai Xu 002 (COMPSAC (1), 2006)

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. - Kai Xu 002; Donglin Liang (MoDELS, 2007)

Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. - Donglin Liang; Kai Xu 002 (QSIC, 2007)