Robert L. Probert

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