Books Edited:

• Amyot, D. and Williams, A.W., System Analysis and Modeling – Fourth International SDL and MSC Workshop SAM 2004, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 3319, (February 2005).

Journal Papers:

• Moura, L., Stevens, B., Stardom, J., and Williams, A.W., “Covering Arrays with Mixed Alphabet Sizes,” Journal of Combinatorial Designs, Vol. 11, No. 6, (October 2003), pp. 413-432.
  
  
• Probert R.L, Ural H., Williams A.W., “Rapid generation of functional tests using MSCs, SDL and TTCN,” Computer Communications ,Vol. 24, No. 3-4, (February 15, 2001), pp. 374-393.
  
  
• Ural, H. Saleh K., and Williams, A.W., "Test generation based on control and data dependencies within system specifications in SDL," Computer Communications , Vol. 23, No. 7 (March 15, 2000), pp. 609-627.

Conference Papers:

• He. Y, Amyot, D., Williams, A.W., “Synthesizing SDL from Use Case Maps: An Experiment,” in Proceedings of the 11^th SDL Forum, July 2003, Stuttgart Germany. Lecture Notes in Computer Science 2708, Springer-Verlag, pp. 117-136.
  
• Williams A.W., Probert, R.L., Li, Q., and Kim, T.-H. “The Winning Entry of the SAM 2002 Design Contest: A Case Study in the Effectiveness of SDL and MSC,” in Proceedings of the 11^th SDL Forum, July 2003, Stuttgart Germany. Lecture Notes in Computer Science 2708, Springer Verlag, pp. 387-403.
  
• Kim, T.-H., Probert R.L., Sales, I., and Williams, A.W., “Rapid Development of Network Software via SDL/Socket Interfaces,” in Proceedings of the 3rd SDL and MSC Workshop (SAM 2002), Aberystwyth Wales, June 2002, pp. 75-96.
  
  
• Williams, A.W., Probert, R.L., " Formulation of the Interaction Test Coverage Problem as an Integer Program ," in Proceedings of the 14th International Conference on the Testing of Communicating Systems  (TestCom 2002), Berlin Germany, March 2002, pp. 283-298. (PDF:  approx 124K).
  
  
• Williams, A.W., Probert, R.L., " A Measure for Component Interaction Test Coverage ", in Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2001), Beirut Lebanon, June 2001, pp.304-311.  (PDF:  approx. 101K)
  
  
• Williams, A.W., “ Determination of Test Configurations for Pair-Wise Interaction Coverage ,” in Proceedings of the 13th International Conference on the Testing of Communicating Systems (TestCom 2000), Ottawa Canada, August 2000, pp. 59-74. (PDF:  approx 96K)
  
  
• Probert R.L., and Williams, A.W., " Fast Functional Test Generation using an SDL model ," in Proceedings of the 12^th annual International Workshop on the Testing of Communicating Systems (IWTCS '99), Budapest Hungary, September 1999, pp. 299-315.  (PDF:  approx 131K)
  
  
• Williams, A.W. and Probert R.L., " A Practical Strategy for Testing Pair-wise Coverage of Network Interfaces ," in Proceedings of the 7^th International Conference on Software Reliability Engineering (ISSRE ‘96), White Plains NY USA, October 1996, pp. 246-254  (PDF:  approx. 84K)
  
  
• Ural, H. and Williams, A.W., "Test generation by exposing control and data dependencies within system specifications in SDL," in Proceedings of the 6th International Conference on Formal Description Techniques (FORTE ‘93), Cambridge MA USA, October 1993, pp. 339-354.

Doctoral Thesis:

• Williams, A.W., " Software Component Interaction Testing:  Coverage Measurement and Generation of Configurations ," School of Information Technology and Engineering, University of Ottawa, 2002. (PDF:  approx. 887K)

Master's Thesis:

• Williams, A.W., "A Comparison of Tensor Product B-spline Surface Evaluation Methods," Dept. of Computer Science, University of Waterloo, 1988.

Back to Alan Williams home page

---

Alan Williams awilliam@site.uottawa.ca Last updated: March 2, 2005