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)