Search the dblp DataBase

Publications of Author

1. Alan W. Williams, Robert L. Probert
   A Measure for Component Interaction Test Coverage. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:304-312 [Conf]
   
2. Hasan Ural, Alan W. Williams
   Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. [Citation Graph (0, 0)][DBLP]
   FORTE, 1993, pp:335-350 [Conf]
   
3. Robert L. Probert, Alan W. Williams
   Fast Functional Test Generation Using an SDL Model. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1999, pp:299-316 [Conf]
   
4. Alan W. Williams
   Determination of Test Configurations for Pair-Wise Interaction Coverage. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:59-74 [Conf]
   
5. Alan W. Williams, Robert L. Probert
   Formulation of the Interaction Test Coverage Problem as an Integer Program. [Citation Graph (0, 0)][DBLP]
   TestCom, 2002, pp:283-0 [Conf]
   
6. Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams
   Rapid Development of Network Software via SDL/Socket Interfaces. [Citation Graph (0, 0)][DBLP]
   SAM, 2002, pp:103-123 [Conf]
   
7. Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
   The Winning Entry of the SAM 2002 Design Contest: . [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2003, pp:387-404 [Conf]
   
8. Yong He, Daniel Amyot, Alan W. Williams
   Synthesizing SDL from Use Case Maps: An Experiment. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2003, pp:117-136 [Conf]
   
9. Robert L. Probert, Hasan Ural, Alan W. Williams
   Rapid generation of functional tests using MSCs, SDL and TTCN. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2001, v:24, n:3-4, pp:374-393 [Journal]
   
10. Hasan Ural, Kassem Saleh, Alan W. Williams
    Test generation based on control and data dependencies within system specifications in SDL. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:7, pp:609-627 [Journal]