Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. - Kai Yu 013; Cong Wang; Yin-li Chen; Mengxiang Lin (APSEC, 2009)

Lazy Symbolic Evaluation and Its Path Constraints Solution. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (AST, 2009)

Achieving High Branch Coverage with Fewer Paths. - Yu Dong; Mengxiang Lin; Kai Yu 013; Yi Zhou; Yin-li Chen (COMPSAC Workshops, 2011)

Locating faults using multiple spectra-specific models. - Kai Yu 013; Mengxiang Lin; Qing Gao; Hui Zhang 028; Xiangyu Zhang (SAC, 2011)

Lazy symbolic execution for test data generation. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (IET Softw., 2011)

Improving failure-inducing changes identification using coverage analysis. - Kai Yu 013 (ICSE, 2012)

An integrated bug processing framework. - Xiangyu Zhang; Mengxiang Lin; Kai Yu 013 (ICSE, 2012)

When a GUI Regression Test Failed, What Should be Blamed? - Jin Chen; Mengxiang Lin; Kai Yu 013; Bing Shao (ICST, 2012)

Towards Practical Debugging for Regression Faults. - Kai Yu 013; Mengxiang Lin (ICST, 2012)

Practical isolation of failure-inducing changes for debugging regression faults. - Kai Yu 013; Mengxiang Lin; Jin Chen; Xiangyu Zhang (ASE, 2012)

Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives. - Kai Yu 013; Mengxiang Lin; Jin Chen; Xiangyu Zhang (J. Syst. Softw., 2012)