Robert L. Probert

Publication Activity (10 Years)

Years Active: 1974-2009
Publications (10 Years): 0

Publications

Yanping Chen, Robert L. Probert, Hasan Ural
Regression test suite reduction based on SDL models of system requirements. J. Softw. Maintenance Res. Pract. 21 (6) (2009)
Yanping Chen, Robert L. Probert, Hasan Ural
Regression test suite reduction using extended dependence analysis. SOQUA (2007)
Yanping Chen, Robert L. Probert, Hasan Ural
Model-based regression test suite generation using dependence analysis. A-MOST (2007)
Robert L. Probert, Pulei Xiong, Bernard Stepien
Life-Cycle E-commerce Testing with OO-TTCN-3. FORTE Workshops (2004)
Yanping Chen, Robert L. Probert, Kyle Robeson
Effective test metrics for test strategy evolution. CASCON (2004)
Peter Qi Qiu, Ostap Monkewich, Robert L. Probert
SIP Vulnerabilities Testing in Session Establishment & User Registration. ICETE (2) (2004)
Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa
Formal verification and validation for e-commerce: theory and best practices. Inf. Softw. Technol. 45 (11) (2003)
Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
The Winning Entry of the SAM 2002 Design Contest: . SDL Forum (2003)
Victor D. Sawma, Robert L. Probert
E-Commerce Authentication: An Effective Countermeasures Design Model. ICEIS (3) (2003)
Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams
Rapid Development of Network Software via SDL/Socket Interfaces. SAM (2002)
Kassem Saleh, Robert L. Probert, W. Li, W. Fong
An approach for high-yield requirements capture for e-commerce and its application. Int. J. Digit. Libr. 3 (4) (2002)
Alan W. Williams, Robert L. Probert
Formulation of the Interaction Test Coverage Problem as an Integer Program. TestCom (2002)
Yanping Chen, Robert L. Probert, D. Paul Sims
Specification-based regression test selection with risk analysis. CASCON (2002)
Robert L. Probert, W. Li
CORBA-Based E-Commerce Application Testing Architecture. AICCSA (2001)
Nikolai Mansurov, Robert L. Probert
Improving time-to-market using SDL tools and techniques. Comput. Networks 35 (6) (2001)
Alan W. Williams, Robert L. Probert
A Measure for Component Interaction Test Coverage. AICCSA (2001)
Robert L. Probert, Hasan Ural, Alan W. Williams
Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24 (3-4) (2001)
Ostap Monkewich, Igor Sales, Robert L. Probert
OSPF Efficient LSA Refreshment Function in SDL. SDL Forum (2001)
Nikolai Mansurov, Robert L. Probert
A scenario-based approach to the evolution of telecommunications software. IEEE Commun. Mag. 39 (10) (2001)
Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi
Recovery of CFSM-based protocol and service design from protocol execution traces. Inf. Softw. Technol. 41 (11-12) (1999)
Kassem Saleh, Robert L. Probert, Hassib Khanafer
The distributed object computing paradigm: concepts and applications. J. Syst. Softw. 47 (2-3) (1999)
Kassem Saleh, Robert L. Probert
Communications software engineering (CSE). Inf. Softw. Technol. 41 (11-12) (1999)
Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural
Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics (1999)
Robert L. Probert, Alan W. Williams
Fast Functional Test Generation Using an SDL Model. IWTCS (1999)
Nikolai Mansurov, Robert L. Probert
Dynamic scenario-based approach to re-engineering of legacy telecommunication software. SDL Forum (1999)
Hazem El-Gendy, Robert L. Probert
Conformance testing requirements for formal development of testability-directed PICSP. CATA (1998)
Alan W. Williams, Robert L. Probert
A practical strategy for testing pair-wise coverage of network interfaces. ISSRE (1996)
Robert L. Probert, Ning Lew
Protocol quality engineering: addressing industry concerns about formal methods. Comput. Commun. 19 (14) (1996)
Kassem Saleh, M. Ilangovan, Robert L. Probert
Recovery of Communications Protocol Design from Run Time Protocol Traces. ICECCS (1996)
Gang Luo, Robert L. Probert, Hasan Ural
Approach to constructing software unit testing tools. Softw. Eng. J. 10 (6) (1995)
Khenaidoo Nursimulu, Robert L. Probert
Cause-effect graphing analysis and validation of requirements. CASCON (1995)
Robert L. Probert, Kassem Saleh, Hualong Yu
Validation-directed specification of communications systems. Inf. Softw. Technol. 37 (8) (1995)
Robert L. Probert, Ostap Monkewich
TTCN: The International Notation for Specifying Tests of Communcations Systems. Comput. Networks ISDN Syst. 23 (5) (1992)
Robert L. Probert
Summary of Panel Presentations and Discussion. Protocol Test Systems (1992)
Robert L. Probert, Kassem Saleh
Synthesis of Communication Protocols: Survey and Assessment. IEEE Trans. Computers 40 (4) (1991)
Robert L. Probert
Computer Science and Communications Protocols: Research Relationships. ICCI (1991)
Kassem Saleh, Robert L. Probert
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. ICCI (1990)
C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert
An Application of Explanation-Based Learning to Protocol Conformance Testing. IEEE Expert 5 (5) (1990)
Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek
A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. Comput. Networks ISDN Syst. 18 (1) (1989)
Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural
Formalization of ISDN LAPD for Conformance Testing. INFOCOM (1989)
Hasan Ural, Robert L. Probert
Step-Wise Validation of Communication Protocols and Services. Comput. Networks 11 (1986)
Hasan Ural, Robert L. Probert
Automated testing of protocol specifications and their implementations. Comput. Commun. Rev. 14 (2) (1984)
Robert L. Probert, Hasan Ural
High-level testing and example-directed development of software specifications. J. Syst. Softw. 4 (4) (1984)
Hasan Ural, Robert L. Probert
User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification (1983)
Robert L. Probert, Hasan Ural
Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification (1983)
Robert L. Probert
Optimal Insertion of Software Probes in Well-Delimited Programs. IEEE Trans. Software Eng. 8 (1) (1982)
Luigi Logrippo, Robert L. Probert
Protocol/Specification-Level Validation. PSTV (1982)
Patrick C. Fischer, Robert L. Probert
Storage Reorganization Techniques for Matrix Computation in a Paging Environment. Commun. ACM 22 (7) (1979)
Robert L. Probert
An Extension of Computational Duality to Sequences of Bilinear Computations. SIAM J. Comput. 7 (1) (1978)
Robert L. Probert
On the Additive Complexity of Matrix Multiplication. SIAM J. Comput. 5 (2) (1976)
George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert
SIGACT (Paper Session). ACM Annual Conference (1976)
Patrick C. Fischer, Robert L. Probert
A note on matrix multiplication in a paging environment. ACM Annual Conference (1976)
Robert L. Probert
Commutativity, Non-Commutativity, and Bilinearity. Inf. Process. Lett. 5 (2) (1976)
Patrick C. Fischer, Robert L. Probert
Efficient Procedures for Using Matrix Algorithms. ICALP (1974)