Yanping Chen PH.D. Candidate IBM CAS Research Fellow |
Supervisor: Dr. Hasan Ural Research area: Software Engineering, Software Testing, Formal Methods, Distributed Systems. Research subject: Regression testing, formal verification and validation, test process measurement, test metrics, requirement traceability, test automation. |
PUBLICATIONS:
1. Yanping Chen, Robert L. Probert, Hasan Ural,
Regression Test Suite Reduction Using Extended Dependence Analysis,
in the Proceedings of the Fourth International Workshop on Software Quality Assurance (SOQUA 2007), pp. 62 - 69, September 2007 .(pdf)
2. Yanping Chen, Robert L. Probert, Hasan Ural,
Model-based Regression Test Suite Generation Using Dependence Analysis,
in the Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), July 2007.(pdf)
3. Yanping Chen, Robert L. Probert, Kyle Robeson, Effective test metrics
for test strategy evolution, in the Proceeding of CASCON'04, pp.
111 - 123, October 2004. (pdf)
4. Yanping Chen, Robert L. Probert, A Risk-based Regression Test Selection Strategy, in
the Proceeding of the 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003),
Fast Abstract, pp. 305 - 306, November, 2003.
5. Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims and Maurus Cappa,
Formal verification and validation for e-commerce: theory and best practices,
Journal of Information and Software Technology, Volume 45, Issue 11, pp. 763 - 777, August, 2003.
6. Robert L. Probert, Yanping Chen, Toan The Nguyen, Manny Oraa, Allan Williams,
From Requirements to Testable Design of an E-commerce System, in
the Proceeding of Telelogic Americas 2002 Users Group Conference, October 2002.
7. Yanping Chen, Robert L. Probert, D. Paul Sims, Specification-based Regression
Test Selection with Risk Analysis, in the Proceeding of CASCON'02, pp. 175 - 182, September 2002.
(pdf)
THESIS:(Master's)
Specification-based Regression Test Selection with Risk Analysis, December 2002.
(Abstract)(zip)
PRESENTATIONS AND POSTERS:
1. Yanping Chen, Robert L. Probert, Hasan Ural,
Regression Test Suite Reduction Using Extended Dependence Analysis, SOQUA 2007, September 2007.(pdf)
2. Yanping Chen, Robert L. Probert, Hasan Ural,
Model-based Regression Test Suite Generation Using Dependence Analysis, A-MOST 2007, July 2007.(pdf)
3. Yanping Chen, Robert L. Probert, Kyle Robeson,
Effective test metrics for test strategy evolution, CASCON'04, October 2004.
4. Yanping Chen, A Risk-based Regression Test Selection Strategy, the
ISSRE 2003, November 2003.
5. Yanping Chen, The BEST Regression Test Method: It's a RISKy Business?,
Workshop on Software Testing: The BEST in WebApp & E-Commerce TEST including Open Source Testing Framework? CASCON'03 , October 2003.
6. Yanping Chen, Manage Risk by Risk-Driven Continual Regression Testing, Communications and Information Technology Ontario (CITO) Innovators Showcase, September 2003.
7. Yanping Chen, Specification-based Regression Test Selection with Risk Analysis, CASCON'02, October 2002. (pdf)
8. Yanping Chen, Risk-driven Continual Regression Testing,
Workshop on Software Testing: "Who Tests Best? How Do They Do It?", CASCON'02, October 2002. (pdf)
9. Yanping Chen, and Wei Xu, Formal Verification and Validation for E-Commerce, Communications and Information Technology Ontario (CITO) Research Review, January 2002.
10. Robert L. Probert, and Yanping Chen, Formal Testing for E-Commerce: From Theory to Practice,
Concordia Prestigious Workshop on Communication Software Engineering, September 2001.
SPIN Example:
Instruction to SPIN
Lab Materials
Yanping Chen
School of Information Technology and Engineering (SITE)
University of Ottawa
800 King Edward, Room 4051D
Ottawa, Ontario, Canada, K1N 6N5
Tel: (613) 562-5800 ext 2171 Fax: (613) 562-5187
Office: SITE Building, Room 4051D
Email: ychen@site.uottawa.ca
[Go to Dr. Ural's Web page.]