Robert L. Probert

Affiliations: 
University of Ottawa, Ottawa, ON, Canada 
Area:
Computer Science
Google:
"Robert Probert"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Chen Y, Probert RL, Ural H. (2009) Regression test suite reduction based on SDL models of system requirements Journal of Software Maintenance and Evolution. 21: 379-405
Chen Y, Probert RL, Ural H. (2007) Model-based regression test suite generation using dependence analysis Proceedings of the 3rd International Workshop Advances in Model Based Testing, Amost 2007. 54-62
Probert RL, Xiong P, Stepien B. (2004) Life-cycle E-commerce testing with OO-TTCN-3 Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3236: 16-29
Probert RL, Chen Y, Ghazizadeh B, et al. (2003) Formal verification and validation for e-commerce: Theory and best practices Information and Software Technology. 45: 763-777
Kim TH, Probert RL, Sales I, et al. (2003) Rapid development of network software via SDL/socket interfaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2599: 103-123
Probert RL, Li W. (2001) CORBA-based e-commerce application testing architecture Proceedings of Ieee/Acs International Conference On Computer Systems and Applications, Aiccsa. 2001: 474-477
Williams AW, Probert RL. (2001) A measure for component interaction test coverage Proceedings of Ieee/Acs International Conference On Computer Systems and Applications, Aiccsa. 2001: 304-311
Mansurov NN, Probert RL. (2001) Improving time-to-market using SDL tools and techniques Computer Networks. 35: 667-691
Probert RL, Ural H, Williams AW. (2001) Rapid generation of functional tests using MSCs, SDL and TTCN Computer Communications. 24: 374-393
Monkewich O, Sales I, Probert RL. (2001) OSPF Efficient LSA Refreshment Function in SDL Lecture Notes in Computer Science. 300-315
See more...