Alan W. Williams

12 papers A 1C 2Journal 2Unranked 6

Year	Rank	Type	Title / Venue / Authors
2005	—	`ed.`	System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers SAM Daniel Amyot, Alan W. Williams
2003	—	`conf`	Synthesizing SDL from Use Case Maps: An Experiment. SDL Forum Yong He, Daniel Amyot, Alan W. Williams
2003	—	`conf`	The Winning Entry of the SAM 2002 Design Contest: . SDL Forum Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
2002	—	`conf`	Formulation of the Interaction Test Coverage Problem as an Integer Program. TestCom Alan W. Williams, Robert L. Probert
2002	—	`conf`	Rapid Development of Network Software via SDL/Socket Interfaces. SAM Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams
2001	C	`conf`	A Measure for Component Interaction Test Coverage. AICCSA Alan W. Williams, Robert L. Probert
2001	J	`jnl`	Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. Robert L. Probert, Hasan Ural, Alan W. Williams
2000	—	`conf`	Determination of Test Configurations for Pair-Wise Interaction Coverage. TestCom Alan W. Williams
2000	J	`jnl`	Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. Hasan Ural, Kassem Saleh, Alan W. Williams
1999	—	`conf`	Fast Functional Test Generation Using an SDL Model. IWTCS Robert L. Probert, Alan W. Williams
1996	A	`conf`	A practical strategy for testing pair-wise coverage of network interfaces. ISSRE Alan W. Williams, Robert L. Probert
1993	C	`conf`	Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE Hasan Ural, Alan W. Williams