Automated test case generation for reactive software systems based on environment models

The goal of software testing is to expose as many faults as possible. Often one can increase the number of faults detected by running large amounts of test cases, therefore the ability to automatically generate applicable test cases for a System Under Test (SUT), would be a valuable tool. In this...

Full description

Bibliographic Details
Main Author: Imanian, James A.
Other Authors: Auguston, Mikhail
Format: Others
Published: Monterey, California. Naval Postgraduate School 2012
Subjects:
Online Access:http://hdl.handle.net/10945/2131