Alan W. Williams

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Yong He, Daniel Amyot, Alan W. Williams
Synthesizing SDL from Use Case Maps: An Experiment. SDL Forum (2003)
Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
The Winning Entry of the SAM 2002 Design Contest: . SDL Forum (2003)
Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams
Rapid Development of Network Software via SDL/Socket Interfaces. SAM (2002)
Alan W. Williams, Robert L. Probert
Formulation of the Interaction Test Coverage Problem as an Integer Program. TestCom (2002)
Alan W. Williams, Robert L. Probert
A Measure for Component Interaction Test Coverage. AICCSA (2001)
Robert L. Probert, Hasan Ural, Alan W. Williams
Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24 (3-4) (2001)
Hasan Ural, Kassem Saleh, Alan W. Williams
Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23 (7) (2000)
Alan W. Williams
Determination of Test Configurations for Pair-Wise Interaction Coverage. TestCom (2000)
Robert L. Probert, Alan W. Williams
Fast Functional Test Generation Using an SDL Model. IWTCS (1999)
Alan W. Williams, Robert L. Probert
A practical strategy for testing pair-wise coverage of network interfaces. ISSRE (1996)
Hasan Ural, Alan W. Williams
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE (1993)