| 2005 |
|---|
| 11 | | Daniel Amyot,
Alan W. Williams:
System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Springer 2005 |
| 2003 |
|---|
| 10 | EE | Yong He,
Daniel Amyot,
Alan W. Williams:
Synthesizing SDL from Use Case Maps: An Experiment.
SDL Forum 2003: 117-136 |
| 9 | 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 |
| 2002 |
|---|
| 8 | 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 |
| 7 | | Alan W. Williams,
Robert L. Probert:
Formulation of the Interaction Test Coverage Problem as an Integer Program.
TestCom 2002: 283- |
| 2001 |
|---|
| 6 | EE | Alan W. Williams,
Robert L. Probert:
A Measure for Component Interaction Test Coverage.
AICCSA 2001: 304-312 |
| 5 | | 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) |
| 2000 |
|---|
| 4 | | Alan W. Williams:
Determination of Test Configurations for Pair-Wise Interaction Coverage.
TestCom 2000: 59-74 |
| 3 | EE | Hasan Ural,
Kassem Saleh,
Alan W. Williams:
Test generation based on control and data dependencies within system specifications in SDL.
Computer Communications 23(7): 609-627 (2000) |
| 1999 |
|---|
| 2 | | Robert L. Probert,
Alan W. Williams:
Fast Functional Test Generation Using an SDL Model.
IWTCS 1999: 299-316 |
| 1993 |
|---|
| 1 | | Hasan Ural,
Alan W. Williams:
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.
FORTE 1993: 335-350 |
