Robert L. Probert

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

Collaborative distances:

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

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

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

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

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

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

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

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

Summary of Panel Presentations and Discussion.

Robert L. Probert

Proceedings of the Protocol Test Systems, V, 1992

1991

Computer Science and Communications Protocols: Research Relationships.

Robert L. Probert

Proceedings of the Advances in Computing and Information, 1991

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

Formalization of ISDN LAPD for Conformance Testing.

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

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

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

Protocol/Specification-Level Validation.

Luigi Logrippo, Robert L. Probert

Proceedings of the Protocol Specification, 1982

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