Specification and verification with formal methods, Testing Methods in distributed systems.
Formal verification and validation, regression testing, automatic test case generation, TTCN.
Yanping Chen, Robert L. Probert, D. Paul Sims, “Specification-based Regression Test Selection with Risk Analysis”, Accepted for CASCON’02, September, 2002.
Presentations and Posters:
Robert L. Probert, and Yanping Chen, Formal Testing for E-Commerce: From Theory to Practice, Concordia Prestigious Workshop on Communication Software Engineering, September, 2001.
Yanping Chen, and Wei Xu, Formal Verification and Validation for E-Commerce, CITO Research Review, January, 2002.