Alan W. Williams

According to our database, Alan W. Williams authored at least 11 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

The Winning Entry of the SAM 2002 Design Contest: .

Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim

Proceedings of the SDL 2003: System Design, 2003

Synthesizing SDL from Use Case Maps: An Experiment.

Yong He, Daniel Amyot, Alan W. Williams

Proceedings of the SDL 2003: System Design, 2003

2002

Rapid Development of Network Software via SDL/Socket Interfaces.

Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Formulation of the Interaction Test Coverage Problem as an Integer Program.

Alan W. Williams, Robert L. Probert

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

Rapid generation of functional tests using MSCs, SDL and TTCN.

Robert L. Probert, Hasan Ural, Alan W. Williams

Comput. Commun., 2001

A Measure for Component Interaction Test Coverage.

Alan W. Williams, Robert L. Probert

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000

Test generation based on control and data dependencies within system specifications in SDL.

Hasan Ural, Kassem Saleh, Alan W. Williams

Comput. Commun., 2000

Determination of Test Configurations for Pair-Wise Interaction Coverage.

Alan W. Williams

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

Fast Functional Test Generation Using an SDL Model.

Robert L. Probert, Alan W. Williams

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1996

A practical strategy for testing pair-wise coverage of network interfaces.

Alan W. Williams, Robert L. Probert

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1993

Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.

Hasan Ural, Alan W. Williams

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993