| |
| 2003 | ||
|---|---|---|
| 2 | EE | Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa: Formal verification and validation for e-commerce: theory and best practices. Information & Software Technology 45(11): 763-777 (2003) |
| 2002 | ||
| 1 | EE | Yanping Chen, Robert L. Probert, D. Paul Sims: Specification-based regression test selection with risk analysis. CASCON 2002: 1 |
| 1 | Maurus Cappa | [2] |
| 2 | Yanping Chen | [1] [2] |
| 3 | Behrad Ghazizadeh | [2] |
| 4 | Robert L. Probert | [1] [2] |