Winbladh, K., T. A. Alspaugh, H. Ziv, and D. J. Richardson,
"An Automated Approach for Goal-driven, Specification-based Testing ",
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, pp. 289-292, September, 2006.
Winbladh, K., T. A. Alspaugh, H. Ziv, and D. J. Richardson,
"An Automated Approach for Goal-driven, Specification-based Testing",
Technical Report, no. UCI-ISR-06-8: Institute for Software Research, University of California, Irvine, May, 2006.
Alspaugh, T. A., S E. Sim, K. Winbladh, M. H. Diallo, H. Ziv, and D. J. Richardson,
"The Importance of Clarity in Usable Requirements Specification Formats",
Technical Report, no. UCI-ISR-06-14, Irvine, Institute for Software Research, University of California, Irvine, September, 2006.
Naslavsky, L., D. J. Richardson, and H. Ziv,
"Scenario-based and State Machine-based Testing: An Evaluation of Automated Approaches",
Technical Report, no. UCI-ISR-06-13: Institute for Software Research, University of California, Irvine, August, 2006.