A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. - Xin Chen 027; Nan Ye; Wenxu Ding (UTP, 2010)

Automatic Regression Test Selection Based on Activity Diagrams. - Nan Ye; Xin Chen 027; Peng Jiang; Wenxu Ding; Xuandong Li (SSIRI (Companion), 2011)

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. - Wenxu Ding; Xin Chen 027; Peng Jiang; Nan Ye; Lei Bu; Xuandong Li (SERE (Companion), 2012)

Regression Test Cases Generation Based on Automatic Model Revision. - Nan Ye; Xin Chen 027; Wenxu Ding; Peng Jiang; Lei Bu; Xuandong Li (TASE, 2012)