Browsing UT Electronic Theses and Dissertations by Subject "TACC"
Now showing items 1-1 of 1
(2009-05)Automating the generation of test cases for software is an active area of research. Specification based test generation is an approach in which a formal representation of a method is analyzed to generate valid test cases. ...