Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. - Hasan Ural; Alan W. Williams (FORTE, 1993)

A practical strategy for testing pair-wise coverage of network interfaces. - Alan W. Williams; Robert L. Probert (ISSRE, 1996)

Fast Functional Test Generation Using an SDL Model. - Robert L. Probert; Alan W. Williams (IWTCS, 1999)

Determination of Test Configurations for Pair-Wise Interaction Coverage. - Alan W. Williams (TestCom, 2000)

Test generation based on control and data dependencies within system specifications in SDL. - Hasan Ural; Kassem Saleh; Alan W. Williams (Comput. Commun., 2000)

A Measure for Component Interaction Test Coverage. - Alan W. Williams; Robert L. Probert (AICCSA, 2001)

Rapid generation of functional tests using MSCs, SDL and TTCN. - Robert L. Probert; Hasan Ural; Alan W. Williams (Comput. Commun., 2001)

Formulation of the Interaction Test Coverage Problem as an Integer Program. - Alan W. Williams; Robert L. Probert (TestCom, 2002)

Rapid Development of Network Software via SDL/Socket Interfaces. - Tae-Hyong Kim; Robert L. Probert; Igor Sales; Alan W. Williams (SAM, 2002)

Synthesizing SDL from Use Case Maps: An Experiment. - Yong He; Daniel Amyot; Alan W. Williams (SDL Forum, 2003)

The Winning Entry of the SAM 2002 Design Contest: . - Alan W. Williams; Robert L. Probert; Qing Li; Tae-Hyong Kim (SDL Forum, 2003)