An Automated Approach for Goal-driven, Specification-based Testing

TitleAn Automated Approach for Goal-driven, Specification-based Testing
Publication TypeReport
Year of Publication2006
AuthorsWinbladh, K., T. A. Alspaugh, H. Ziv, and D. J. Richardson
Series TitleTechnical Report
Document NumberUCI-ISR-06-8
Date PublishedMay
InstitutionInstitute for Software Research, University of California, Irvine
TypeTechnical Report