Efficient state space exploration for parallel test generation

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. Constraint solving and state space exploration are important aspects of the sp...

Full description

Bibliographic Details
Main Author: Ramasamy Kandasamy, Manimozhian
Format: Others
Language:English
Published: 2009
Subjects:
MPI
Online Access:http://hdl.handle.net/2152/ETD-UT-2009-05-131

Similar Items