Specification-based regression test selection with risk analysis. - Yanping Chen 004; Robert L. Probert; D. Paul Sims (CASCON, 2002)

Formal verification and validation for e-commerce: theory and best practices. - Robert L. Probert; Yanping Chen 004; Behrad Ghazizadeh; D. Paul Sims; Maurus Cappa (Inf. Softw. Technol., 2003)

Effective test metrics for test strategy evolution. - Yanping Chen 004; Robert L. Probert; Kyle Robeson (CASCON, 2004)

Model-based regression test suite generation using dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (A-MOST, 2007)

Regression test suite reduction using extended dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (SOQUA, 2007)

Regression test suite reduction based on SDL models of system requirements. - Yanping Chen 004; Robert L. Probert; Hasan Ural (J. Softw. Maintenance Res. Pract., 2009)