Robert L. Probert

According to our database, Robert L. Probert authored at least 54 papers between 1974 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

Yanping Chen, Robert L. Probert, Hasan Ural

J. Softw. Maintenance Res. Pract., 2009

2007

Regression test suite reduction using extended dependence analysis.

Yanping Chen, Robert L. Probert, Hasan Ural

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

Model-based regression test suite generation using dependence analysis.

Yanping Chen, Robert L. Probert, Hasan Ural

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2004

SIP Vulnerabilities Testing in Session Establishment & User Registration.

Peter Qi Qiu, Ostap Monkewich, Robert L. Probert

Proceedings of the ICETE 2004, 2004

Life-Cycle E-commerce Testing with OO-TTCN-3.

Robert L. Probert, Pulei Xiong, Bernard Stepien

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Effective test metrics for test strategy evolution.

Yanping Chen, Robert L. Probert, Kyle Robeson

Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003

Formal verification and validation for e-commerce: theory and best practices.

Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa

Inf. Softw. Technol., 2003

The Winning Entry of the SAM 2002 Design Contest: .

Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim

Proceedings of the SDL 2003: System Design, 2003

E-Commerce Authentication: An Effective Countermeasures Design Model.

Victor D. Sawma, Robert L. Probert

Proceedings of the ICEIS 2003, 2003

2002

An approach for high-yield requirements capture for e-commerce and its application.

Kassem Saleh, Robert L. Probert, W. Li, W. Fong

Int. J. Digit. Libr., 2002

Rapid Development of Network Software via SDL/Socket Interfaces.

Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Formulation of the Interaction Test Coverage Problem as an Integer Program.

Alan W. Williams, Robert L. Probert

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Specification-based regression test selection with risk analysis.

Yanping Chen, Robert L. Probert, D. Paul Sims

Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative Research, September 30, 2002

2001

Rapid generation of functional tests using MSCs, SDL and TTCN.

Robert L. Probert, Hasan Ural, Alan W. Williams

Comput. Commun., 2001

Improving time-to-market using SDL tools and techniques.

Nikolai Mansurov, Robert L. Probert

Comput. Networks, 2001

A scenario-based approach to the evolution of telecommunications software.

Nikolai Mansurov, Robert L. Probert

IEEE Commun. Mag., 2001

OSPF Efficient LSA Refreshment Function in SDL.

Ostap Monkewich, Igor Sales, Robert L. Probert

Proceedings of the SDL 2001: Meeting UML, 2001

A Measure for Component Interaction Test Coverage.

Alan W. Williams, Robert L. Probert

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

CORBA-Based E-Commerce Application Testing Architecture.

Robert L. Probert, W. Li

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

1999

The distributed object computing paradigm: concepts and applications.

Kassem Saleh, Robert L. Probert, Hassib Khanafer

J. Syst. Softw., 1999

Recovery of CFSM-based protocol and service design from protocol execution traces.

Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi

Inf. Softw. Technol., 1999

Communications software engineering (CSE).

Kassem Saleh, Robert L. Probert

Inf. Softw. Technol., 1999

Dynamic scenario-based approach to re-engineering of legacy telecommunication software.

Nikolai Mansurov, Robert L. Probert

Proceedings of the SDL '99 The Next Millennium, 1999

Fast Functional Test Generation Using an SDL Model.

Robert L. Probert, Alan W. Williams

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Corba-Based Telecom Application of Distributed Object Computing.

Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

Conformance testing requirements for formal development of testability-directed PICSP.

Hazem El-Gendy, Robert L. Probert

Proceedings of the Computers and Their Applications (CATA-98), 1998

1996

Protocol quality engineering: addressing industry concerns about formal methods.

Robert L. Probert, Ning Lew

Comput. Commun., 1996

A practical strategy for testing pair-wise coverage of network interfaces.

Alan W. Williams, Robert L. Probert

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Recovery of Communications Protocol Design from Run Time Protocol Traces.

Kassem Saleh, M. Ilangovan, Robert L. Probert

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Validation-directed specification of communications systems.

Robert L. Probert, Kassem Saleh, Hualong Yu

Inf. Softw. Technol., 1995

Approach to constructing software unit testing tools.

Gang Luo, Robert L. Probert, Hasan Ural

Softw. Eng. J., 1995

Cause-effect graphing analysis and validation of requirements.

Khenaidoo Nursimulu, Robert L. Probert

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1992

TTCN: The International Notation for Specifying Tests of Communcations Systems.

Robert L. Probert, Ostap Monkewich

Comput. Networks ISDN Syst., 1992

Summary of Panel Presentations and Discussion.

Robert L. Probert

Proceedings of the Protocol Test Systems, V, 1992

1991

Synthesis of Communication Protocols: Survey and Assessment.

Robert L. Probert, Kassem Saleh

IEEE Trans. Computers, 1991

Computer Science and Communications Protocols: Research Relationships.

Robert L. Probert

Proceedings of the Advances in Computing and Information, 1991

1990

An Application of Explanation-Based Learning to Protocol Conformance Testing.

C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert

IEEE Expert, 1990

Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.

Kassem Saleh, Robert L. Probert

Proceedings of the Advances in Computing and Information, 1990

1989

A Comprehensive Software Environment for Developing Standardized Conformance Test Suites.

Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek

Comput. Networks ISDN Syst., 1989

Formalization of ISDN LAPD for Conformance Testing.

Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1986

Step-Wise Validation of Communication Protocols and Services.

Hasan Ural, Robert L. Probert

Comput. Networks, 1986

1984

High-level testing and example-directed development of software specifications.

Robert L. Probert, Hasan Ural

J. Syst. Softw., 1984

Automated testing of protocol specifications and their implementations.

Hasan Ural, Robert L. Probert

Comput. Commun. Rev., 1984

1983

User-Guided Test Sequence Generation.

Hasan Ural, Robert L. Probert

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

Requirements for a Test Specification Language for Protocol Implementation Testing.

Robert L. Probert, Hasan Ural

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Optimal Insertion of Software Probes in Well-Delimited Programs.

Robert L. Probert

IEEE Trans. Software Eng., 1982

Protocol/Specification-Level Validation.

Luigi Logrippo, Robert L. Probert

Proceedings of the Protocol Specification, 1982

1979

Storage Reorganization Techniques for Matrix Computation in a Paging Environment.

Patrick C. Fischer, Robert L. Probert

Commun. ACM, 1979

1978

An Extension of Computational Duality to Sequences of Bilinear Computations.

Robert L. Probert

SIAM J. Comput., 1978

1976

On the Additive Complexity of Matrix Multiplication.

Robert L. Probert

SIAM J. Comput., 1976

Commutativity, Non-Commutativity, and Bilinearity.

Robert L. Probert

Inf. Process. Lett., 1976

A note on matrix multiplication in a paging environment.

Patrick C. Fischer, Robert L. Probert

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGACT (Paper Session).

George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974

Efficient Procedures for Using Matrix Algorithms.

Patrick C. Fischer, Robert L. Probert

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974