| 2007 |
|---|
| 49 | EE | Yanping Chen,
Robert L. Probert,
Hasan Ural:
Model-based regression test suite generation using dependence analysis.
A-MOST 2007: 54-62 |
| 48 | EE | Yanping Chen,
Robert L. Probert,
Hasan Ural:
Regression test suite reduction using extended dependence analysis.
SOQUA 2007: 62-69 |
| 2004 |
|---|
| 47 | EE | Yanping Chen,
Robert L. Probert,
Kyle Robeson:
Effective test metrics for test strategy evolution.
CASCON 2004: 111-123 |
| 46 | EE | Robert L. Probert,
Pulei Xiong,
Bernard Stepien:
Life-Cycle E-commerce Testing with OO-TTCN-3.
FORTE Workshops 2004: 16-29 |
| 45 | | Peter Qi Qiu,
Ostap Monkewich,
Robert L. Probert:
SIP Vulnerabilities Testing in Session Establishment & User Registration.
ICETE (2) 2004: 223-229 |
| 2003 |
|---|
| 44 | | Victor D. Sawma,
Robert L. Probert:
E-Commerce Authentication: An Effective Countermeasures Design Model.
ICEIS (3) 2003: 447-455 |
| 43 | EE | Alan W. Williams,
Robert L. Probert,
Qing Li,
Tae-Hyong Kim:
The Winning Entry of the SAM 2002 Design Contest: .
SDL Forum 2003: 387-404 |
| 42 | EE | Robert L. Probert,
Yanping Chen,
Behrad Ghazizadeh,
D. Paul Sims,
Maurus Cappa:
Formal verification and validation for e-commerce: theory and best practices.
Information & Software Technology 45(11): 763-777 (2003) |
| 2002 |
|---|
| 41 | EE | Yanping Chen,
Robert L. Probert,
D. Paul Sims:
Specification-based regression test selection with risk analysis.
CASCON 2002: 1 |
| 40 | EE | Tae-Hyong Kim,
Robert L. Probert,
Igor Sales,
Alan W. Williams:
Rapid Development of Network Software via SDL/Socket Interfaces.
SAM 2002: 103-123 |
| 39 | | Alan W. Williams,
Robert L. Probert:
Formulation of the Interaction Test Coverage Problem as an Integer Program.
TestCom 2002: 283- |
| 38 | EE | Kassem Saleh,
Robert L. Probert,
W. Li,
W. Fong:
An approach for high-yield requirements capture for e-commerce and its application.
Int. J. on Digital Libraries 3(4): 302-308 (2002) |
| 2001 |
|---|
| 37 | EE | Alan W. Williams,
Robert L. Probert:
A Measure for Component Interaction Test Coverage.
AICCSA 2001: 304-312 |
| 36 | EE | Robert L. Probert,
W. Li:
CORBA-Based E-Commerce Application Testing Architecture.
AICCSA 2001: 474-477 |
| 35 | EE | Ostap Monkewich,
Igor Sales,
Robert L. Probert:
OSPF Efficient LSA Refreshment Function in SDL.
SDL Forum 2001: 300-315 |
| 34 | | Robert L. Probert,
Hasan Ural,
Alan W. Williams:
Rapid generation of functional tests using MSCs, SDL and TTCN.
Computer Communications 24(3-4): 374-393 (2001) |
| 33 | EE | Nikolai Mansurov,
Robert L. Probert:
Improving time-to-market using SDL tools and techniques.
Computer Networks 35(6): 667-691 (2001) |
| 2000 |
|---|
| 32 | | Hasan Ural,
Robert L. Probert,
Gregor von Bochmann:
Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada
Kluwer 2000 |
| 1999 |
|---|
| 31 | | Kassem Saleh,
Hassib Khanafer,
Robert L. Probert,
Hasan Ural:
Corba-Based Telecom Application of Distributed Object Computing.
Applied Informatics 1999: 58-60 |
| 30 | | Robert L. Probert,
Alan W. Williams:
Fast Functional Test Generation Using an SDL Model.
IWTCS 1999: 299-316 |
| 29 | | Nikolai Mansurov,
Robert L. Probert:
Dynamic scenario-based approach to re-engineering of legacy telecommunication software.
SDL Forum 1999: 325-340 |
| 28 | EE | Kassem Saleh,
Robert L. Probert:
Communications software engineering (CSE).
Information & Software Technology 41(11-12): 695-696 (1999) |
| 27 | EE | Kassem Saleh,
Robert L. Probert,
Khaled Al-Saqabi:
Recovery of CFSM-based protocol and service design from protocol execution traces.
Information & Software Technology 41(11-12): 839-852 (1999) |
| 26 | EE | Kassem Saleh,
Robert L. Probert,
Hassib Khanafer:
The distributed object computing paradigm: concepts and applications.
Journal of Systems and Software 47(2-3): 125-131 (1999) |
| 1998 |
|---|
| 25 | | Hazem El-Gendy,
Robert L. Probert:
Conformance testing requirements for formal development of testability-directed PICSP.
Computers and Their Applications 1998: 85-88 |
| 1996 |
|---|
| 24 | EE | Kassem Saleh,
M. Ilangovan,
Robert L. Probert:
Recovery of Communications Protocol Design from Run Time Protocol Traces.
ICECCS 1996: 265-272 |
| 23 | EE | Robert L. Probert,
Ning Lew:
Protocol quality engineering: addressing industry concerns about formal methods.
Computer Communications 19(14): 1258-1267 (1996) |
| 1995 |
|---|
| 22 | EE | Khenaidoo Nursimulu,
Robert L. Probert:
Cause-effect graphing analysis and validation of requirements.
CASCON 1995: 46 |
| 1992 |
|---|
| 21 | | Robert L. Probert:
Summary of Panel Presentations and Discussion.
Protocol Test Systems 1992: 169-173 |
| 1991 |
|---|
| 20 | | Robert L. Probert:
Computer Science and Communications Protocols: Research Relationships.
ICCI 1991: 24-32 |
| 19 | | Robert L. Probert,
Ostap Monkewich:
TTCN: The International Notation for Specifying Tests of Communcations Systems.
Computer Networks and ISDN Systems 23(5): 417-438 (1991) |
| 18 | | Robert L. Probert,
Kassem Saleh:
Synthesis of Communication Protocols: Survey and Assessment.
IEEE Trans. Computers 40(4): 468-476 (1991) |
| 1990 |
|---|
| 17 | | 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
North-Holland 1990 |
| 16 | | Kassem Saleh,
Robert L. Probert:
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.
ICCI 1990: 415-424 |
| 15 | EE | C. Geldrez,
Stan Matwin,
Johanne Morin,
Robert L. Probert:
An Application of Explanation-Based Learning to Protocol Conformance Testing.
IEEE Expert 5(5): 45-60 (1990) |
| 1989 |
|---|
| 14 | | Teddy Boyce,
T. Grenier,
Robert L. Probert,
Hasan Ural:
Formalization of ISDN LAPD for Conformance Testing.
INFOCOM 1989: 234-246 |
| 13 | | Robert L. Probert,
Hasan Ural,
Marc W. A. Hornbeek:
A Comprehensive Software Environment for Developing Standardized Conformance Test Suites.
Computer Networks and ISDN Systems 18(1): 19-29 (1989) |
| 1986 |
|---|
| 12 | | Hasan Ural,
Robert L. Probert:
Step-Wise Validation of Communication Protocols and Services.
Computer Networks 11: 183-202 (1986) |
| 1984 |
|---|
| 11 | EE | Hasan Ural,
Robert L. Probert:
Automated testing of protocol specifications and their implementations.
Computer Communication Review 14(2): 149-155 (1984) |
| 10 | EE | Robert L. Probert,
Hasan Ural:
High-level testing and example-directed development of software specifications.
Journal of Systems and Software 4(4): 317-325 (1984) |
| 1983 |
|---|
| 9 | | Hasan Ural,
Robert L. Probert:
User-Guided Test Sequence Generation.
Protocol Specification, Testing, and Verification 1983: 421-436 |
| 8 | | Robert L. Probert,
Hasan Ural:
Requirements for a Test Specification Language for Protocol Implementation Testing.
Protocol Specification, Testing, and Verification 1983: 437-443 |
| 1982 |
|---|
| 7 | | Luigi Logrippo,
Robert L. Probert:
Protocol/Specification-Level Validation.
PSTV 1982: 303-304 |
| 6 | | Robert L. Probert:
Optimal Insertion of Software Probes in Well-Delimited Programs.
IEEE Trans. Software Eng. 8(1): 34-42 (1982) |
| 1979 |
|---|
| 5 | | Patrick C. Fischer,
Robert L. Probert:
Storage Reorganization Techniques for Matrix Computation in a Paging Environment.
Commun. ACM 22(7): 405-415 (1979) |
| 1978 |
|---|
| 4 | | Robert L. Probert:
An Extension of Computational Duality to Sequences of Bilinear Computations.
SIAM J. Comput. 7(1): 91-98 (1978) |
| 1976 |
|---|
| 3 | | Robert L. Probert:
Commutativity, Non-Commutativity, and Bilinearity.
Inf. Process. Lett. 5(2): 46-49 (1976) |
| 2 | | Robert L. Probert:
On the Additive Complexity of Matrix Multiplication.
SIAM J. Comput. 5(2): 187-203 (1976) |
| 1974 |
|---|
| 1 | | Patrick C. Fischer,
Robert L. Probert:
Efficient Procedures for Using Matrix Algorithms.
ICALP 1974: 413-427 |
