Regression test suite reduction based on SDL models of system requirements.

Robert L. Probert University of Ottawa, Ontario, Canada http://www.csi.uottawa.ca/~bob/

Yanping Chen 0004 Robert L. Probert Hasan Ural Regression test suite reduction based on SDL models of system requirements. 379-405 2009 21 J. Softw. Maintenance Res. Pract. 6 https://doi.org/10.1002/smr.415 db/journals/smr/smr21.html#ChenPU09

Yanping Chen 0004 Robert L. Probert Hasan Ural Model-based regression test suite generation using dependence analysis. 54-62 2007 conf/amost/2007 A-MOST https://doi.org/10.1145/1291535.1291541 db/conf/amost/amost2007.html#ChenPU07 Yanping Chen 0004 Robert L. Probert Hasan Ural Regression test suite reduction using extended dependence analysis. 62-69 2007 SOQUA https://doi.org/10.1145/1295074.1295086 conf/soqua/2007 db/conf/soqua/soqua2007.html#ChenPU07 Yanping Chen 0004 Robert L. Probert Kyle Robeson Effective test metrics for test strategy evolution. 111-123 2004 conf/cascon/2004 CASCON https://dl.acm.org/citation.cfm?id=1034923 db/conf/cascon/cascon2004.html#ChenPR04 Robert L. Probert Pulei Xiong Bernard Stepien Life-Cycle E-commerce Testing with OO-TTCN-3. 16-29 https://doi.org/10.1007/978-3-540-30233-9_2 2004 conf/forte/2004w FORTE Workshops db/conf/forte/fortew2004.html#ProbertXS04 Peter Qi Qiu Ostap Monkewich Robert L. Probert SIP Vulnerabilities Testing in Session Establishment & User Registration. 223-229 2004 conf/icete/2004 ICETE (2) db/conf/icete/icete2004.html#QiuMP04

Robert L. Probert Yanping Chen 0004 Behrad Ghazizadeh D. Paul Sims Maurus Cappa Formal verification and validation for e-commerce: theory and best practices. 763-777 2003 45 Inf. Softw. Technol. 11 https://doi.org/10.1016/S0950-5849(03)00071-5 db/journals/infsof/infsof45.html#ProbertCGSC03

Victor D. Sawma Robert L. Probert E-Commerce Authentication: An Effective Countermeasures Design Model. 447-455 2003 conf/iceis/2003 ICEIS (3) db/conf/iceis/iceis2003-3.html#SawmaP03 Alan W. Williams Robert L. Probert Qing Li Tae-Hyong Kim The Winning Entry of the SAM 2002 Design Contest: . 387-404 2003 conf/sdl/2003 SDL Forum https://doi.org/10.1007/3-540-45075-0_23 db/conf/sdl/sdl2003.html#WilliamsPLK03

Kassem Saleh Robert L. Probert W. Li W. Fong An approach for high-yield requirements capture for e-commerce and its application. 302-308 2002 3 Int. J. Digit. Libr. 4 https://doi.org/10.1007/s007990100041 db/journals/jodl/jodl3.html#SalehPLF02

Yanping Chen 0004 Robert L. Probert D. Paul Sims Specification-based regression test selection with risk analysis. 1 2002 conf/cascon/2002 CASCON https://dl.acm.org/citation.cfm?id=782116 db/conf/cascon/cascon2002.html#ChenPS02 Alan W. Williams Robert L. Probert Formulation of the Interaction Test Coverage Problem as an Integer Program. 283- 2002 conf/pts/2002 TestCom db/conf/pts/testcom2002.html#WilliamsP02 Tae-Hyong Kim Robert L. Probert Igor Sales Alan W. Williams Rapid Development of Network Software via SDL/Socket Interfaces. 103-123 2002 conf/sam/2002 SAM https://doi.org/10.1007/3-540-36573-7_8 db/conf/sam/sam2002.html#KimPSW02

Nikolai Mansurov Robert L. Probert A scenario-based approach to the evolution of telecommunications software. 94-100 2001 39 IEEE Commun. Mag. 10 https://doi.org/10.1109/35.956120 db/journals/cm/cm39.html#MansurovP01

Nikolai Mansurov Robert L. Probert Improving time-to-market using SDL tools and techniques. 667-691 2001 35 Comput. Networks 6 db/journals/cn/cn35.html#MansurovP01 https://doi.org/10.1016/S1389-1286(00)00200-0 https://www.wikidata.org/entity/Q128201168

Robert L. Probert Hasan Ural Alan W. Williams Rapid generation of functional tests using MSCs, SDL and TTCN. 374-393 2001 24 Comput. Commun. 3-4 db/journals/comcom/comcom24.html#ProbertUW01 https://doi.org/10.1016/S0140-3664(00)00229-2

Alan W. Williams Robert L. Probert A Measure for Component Interaction Test Coverage. 304-312 2001 conf/aiccsa/2001 AICCSA https://doi.org/10.1109/AICCSA.2001.934001 https://doi.ieeecomputersociety.org/10.1109/AICCSA.2001.934001 db/conf/aiccsa/aiccsa2001.html#WilliamsP01 Robert L. Probert W. Li CORBA-Based E-Commerce Application Testing Architecture. 474-477 2001 conf/aiccsa/2001 AICCSA https://doi.org/10.1109/AICCSA.2001.934047 https://doi.ieeecomputersociety.org/10.1109/AICCSA.2001.934047 db/conf/aiccsa/aiccsa2001.html#ProbertL01 Ostap Monkewich Igor Sales Robert L. Probert OSPF Efficient LSA Refreshment Function in SDL. 300-315 2001 conf/sdl/2001 SDL Forum https://doi.org/10.1007/3-540-48213-X_19 db/conf/sdl/sdl2001.html#MonkewichSP01 Hasan Ural Robert L. Probert Gregor von Bochmann Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada TestCom IFIP Conference Proceedings 176 Kluwer 2000 0-7923-7921-7 db/conf/pts/testcom2000.html

Kassem Saleh Robert L. Probert Communications software engineering (CSE). 695-696 1999 41 Inf. Softw. Technol. 11-12 https://doi.org/10.1016/S0950-5849(99)00030-0 db/journals/infsof/infsof41.html#SalehP99

Kassem Saleh Robert L. Probert Khaled Al-Saqabi Recovery of CFSM-based protocol and service design from protocol execution traces. 839-852 1999 41 Inf. Softw. Technol. 11-12 https://doi.org/10.1016/S0950-5849(99)00041-5 db/journals/infsof/infsof41.html#SalehPA99

Kassem Saleh Robert L. Probert Hassib Khanafer The distributed object computing paradigm: concepts and applications. 125-131 1999 47 J. Syst. Softw. 2-3 https://doi.org/10.1016/S0164-1212(99)00032-1 db/journals/jss/jss47.html#SalehPK99

Kassem Saleh Hassib Khanafer Robert L. Probert Hasan Ural Corba-Based Telecom Application of Distributed Object Computing. 58-60 1999 conf/appinf/1999 Applied Informatics db/conf/appinf/appinf1999.html#SalehKPU99 Robert L. Probert Alan W. Williams Fast Functional Test Generation Using an SDL Model. 299-316 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#ProbertW99 Nikolai Mansurov Robert L. Probert Dynamic scenario-based approach to re-engineering of legacy telecommunication software. 325-340 1999 conf/sdl/1999 SDL Forum db/conf/sdl/sdl1999.html#MansurovP99 Hazem El-Gendy Robert L. Probert Conformance testing requirements for formal development of testability-directed PICSP. 85-88 1998 conf/cata/1998 CATA db/conf/cata/cata1998.html#El-GendyP98

Robert L. Probert Ning Lew Protocol quality engineering: addressing industry concerns about formal methods. 1258-1267 1996 19 Comput. Commun. 14 https://doi.org/10.1016/S0140-3664(96)01159-0 https://www.wikidata.org/entity/Q127065714 db/journals/comcom/comcom19.html#ProbertL96

Kassem Saleh M. Ilangovan Robert L. Probert Recovery of Communications Protocol Design from Run Time Protocol Traces. 265-272 1996 conf/iceccs/1996 ICECCS https://doi.org/10.1109/ICECCS.1996.558423 https://doi.ieeecomputersociety.org/10.1109/ICECCS.1996.558423 db/conf/iceccs/iceccs1996.html#SalehIP96 Alan W. Williams Robert L. Probert A practical strategy for testing pair-wise coverage of network interfaces. 246-254 1996 ISSRE https://doi.org/10.1109/ISSRE.1996.558835 https://doi.ieeecomputersociety.org/10.1109/ISSRE.1996.558835 conf/issre/1996 db/conf/issre/issre1996.html#WilliamsP96

Gang Luo Robert L. Probert Hasan Ural Approach to constructing software unit testing tools. 245-252 1995 10 Softw. Eng. J. 6 https://doi.org/10.1049/sej.1995.0029 db/journals/iee/iee-sej10.html#LuoPU95

Robert L. Probert Kassem Saleh Hualong Yu Validation-directed specification of communications systems. 403-410 1995 37 Inf. Softw. Technol. 8 https://doi.org/10.1016/0950-5849(95)98037-G db/journals/infsof/infsof37.html#ProbertSY95

Khenaidoo Nursimulu Robert L. Probert Cause-effect graphing analysis and validation of requirements. 46 1995 conf/cascon/1995 CASCON https://dl.acm.org/citation.cfm?id=781961 db/conf/cascon/cascon1995.html#NursimuluP95

Robert L. Probert Ostap Monkewich TTCN: The International Notation for Specifying Tests of Communcations Systems. 417-438 1992 23 Comput. Networks ISDN Syst. 5 db/journals/cn/cn23.html#ProbertM91 https://doi.org/10.1016/0169-7552(92)90015-I

Robert L. Probert Summary of Panel Presentations and Discussion. 169-173 1992 conf/pts/1992 Protocol Test Systems db/conf/pts/pts1992.html#Probert92

Robert L. Probert Kassem Saleh Synthesis of Communication Protocols: Survey and Assessment. 468-476 1991 40 IEEE Trans. Computers 4 db/journals/tc/tc40.html#ProbertS91 https://doi.org/10.1109/12.88466 http://doi.ieeecomputersociety.org/10.1109/12.88466

Robert L. Probert Computer Science and Communications Protocols: Research Relationships. 24-32 1991 conf/icci/1991 ICCI db/conf/icci/icci1991.html#Probert91 https://doi.org/10.1007/3-540-54029-6_150

C. Geldrez Stan Matwin Johanne Morin Robert L. Probert An Application of Explanation-Based Learning to Protocol Conformance Testing. 45-60 1990 5 IEEE Expert 5 https://doi.org/10.1109/64.60710 http://doi.ieeecomputersociety.org/10.1109/64.60710 https://www.wikidata.org/entity/Q57707245 db/journals/expert/expert5.html#GeldrezMMP90

Kassem Saleh Robert L. Probert Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. 415-424 1990 conf/icci/1990 ICCI db/conf/icci/icci90.html#SalehP90 https://doi.org/10.1007/3-540-53504-7_99 Luigi Logrippo Robert L. Probert Hasan Ural Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 PSTV North-Holland 1990 0-444-88810-1 db/conf/pstv/pstv1990.html

Robert L. Probert Hasan Ural Marc W. A. Hornbeek A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. 19-29 1989 18 Comput. Networks ISDN Syst. 1 db/journals/cn/cn18.html#ProbertUH89 https://doi.org/10.1016/0169-7552(89)90089-5

Teddy Boyce T. Grenier Robert L. Probert Hasan Ural Formalization of ISDN LAPD for Conformance Testing. 234-246 1989 conf/infocom/1989 INFOCOM db/conf/infocom/infocom1989-1.html#BoyceGPU89 https://doi.org/10.1109/INFCOM.1989.101459 https://doi.ieeecomputersociety.org/10.1109/INFCOM.1989.101459

Hasan Ural Robert L. Probert Step-Wise Validation of Communication Protocols and Services. 183-202 1986 11 Comput. Networks db/journals/cn/cn11.html#UralP86 https://doi.org/10.1016/0169-7552(86)90034-6

Hasan Ural Robert L. Probert Automated testing of protocol specifications and their implementations. 149-155 1984 14 Comput. Commun. Rev. 2 https://doi.org/10.1145/800056.802072 https://doi.org/10.1145/639624.802072 db/journals/ccr/ccr14.html#UralP84

Robert L. Probert Hasan Ural High-level testing and example-directed development of software specifications. 317-325 1984 4 J. Syst. Softw. 4 https://doi.org/10.1016/0164-1212(84)90031-1 db/journals/jss/jss4.html#ProbertU84

Hasan Ural Robert L. Probert User-Guided Test Sequence Generation. 421-436 1983 conf/pstv/1983 Protocol Specification, Testing, and Verification db/conf/ifip/pstv83.html#UralP83 Robert L. Probert Hasan Ural Requirements for a Test Specification Language for Protocol Implementation Testing. 437-443 1983 conf/pstv/1983 Protocol Specification, Testing, and Verification db/conf/ifip/pstv83.html#ProbertU83 Robert L. Probert Nancy A. Lynch Nicola Santoro Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 PODC ACM 1983 0-89791-110-5 db/conf/podc/podc83.html http://dl.acm.org/citation.cfm?id=800221

Robert L. Probert Optimal Insertion of Software Probes in Well-Delimited Programs. 34-42 1982 8 IEEE Trans. Software Eng. 1 db/journals/tse/tse8.html#Probert82 https://doi.org/10.1109/TSE.1982.234772 http://doi.ieeecomputersociety.org/10.1109/TSE.1982.234772

Luigi Logrippo Robert L. Probert Protocol/Specification-Level Validation. 303-304 1982 conf/pstv/1982 PSTV db/conf/pstv/pstv1982.html#LogrippoP82 Robert L. Probert Michael J. Fischer Nicola Santoro ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, Canada, August 18-20, 1982 PODC ACM 1982 0-89791-081-8 db/conf/podc/podc82.html http://dl.acm.org/citation.cfm?id=800220

Patrick C. Fischer Robert L. Probert Storage Reorganization Techniques for Matrix Computation in a Paging Environment. 405-415 1979 22 Commun. ACM 7 db/journals/cacm/cacm22.html#FischerP79 https://doi.org/10.1145/359131.359134

Robert L. Probert An Extension of Computational Duality to Sequences of Bilinear Computations. 91-98 1978 7 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp7.html#Probert78 https://doi.org/10.1137/0207006

Robert L. Probert Commutativity, Non-Commutativity, and Bilinearity. 46-49 1976 5 Inf. Process. Lett. 2 db/journals/ipl/ipl5.html#Probert76 https://doi.org/10.1016/0020-0190(76)90078-8

Robert L. Probert On the Additive Complexity of Matrix Multiplication. 187-203 1976 5 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp5.html#Probert76 https://doi.org/10.1137/0205016

George T. Ligler William C. Nylin Jr. Patrick Wang Patrick C. Fischer Robert L. Probert SIGACT (Paper Session). 1 1976 ACM Annual Conference https://doi.org/10.1145/800191.805512 conf/acm/1976 db/conf/acm/acm1976.html#FischerLNWFP76 Patrick C. Fischer Robert L. Probert A note on matrix multiplication in a paging environment. 17-21 1976 ACM Annual Conference https://doi.org/10.1145/800191.805516 conf/acm/1976 db/conf/acm/acm1976.html#FischerP76 Patrick C. Fischer Robert L. Probert Efficient Procedures for Using Matrix Algorithms. 413-427 1974 conf/icalp/1974 ICALP db/conf/icalp/icalp74.html#FischerP74 https://doi.org/10.1007/3-540-06841-4_78 Khaled Al-Saqabi Gregor von Bochmann Teddy Boyce Maurus Cappa Yanping Chen 0004 Hazem El-Gendy Michael J. Fischer Patrick C. Fischer W. Fong C. Geldrez Behrad Ghazizadeh T. Grenier Marc W. A. Hornbeek M. Ilangovan Hassib Khanafer Tae-Hyong Kim Ning Lew Qing Li W. Li George T. Ligler Luigi Logrippo Gang Luo Nancy A. Lynch Nikolai Mansurov Stan Matwin Ostap Monkewich Johanne Morin Khenaidoo Nursimulu William C. Nylin Jr. Peter Qi Qiu Kyle Robeson Kassem Saleh Igor Sales Nicola Santoro Victor D. Sawma D. Paul Sims Bernard Stepien Hasan Ural Patrick Wang Alan W. Williams Pulei Xiong Hualong Yu