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 |