Efficient state space exploration for parallel test generation

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:
Automated test generation
specification based testing
Parallelizing
Korat
state space exploration
java
algorithms
data structures
MPI
TACC
Online Access:http://hdl.handle.net/2152/ETD-UT-2009-05-131

Internet

http://hdl.handle.net/2152/ETD-UT-2009-05-131

Similar Items