A Joint Diagnostic Test Generation Procedure with Dynamic Test Compaction.

M. Enamul Amyeen Irith Pomeranz Srikanth Venkataraman

Published in: ATS (2016)

Keyphrases

test generation
test cases
test sequences
symbolic execution
mutation testing
static analysis
software testing
code coverage
test data generation
design automation
quality assurance
regression testing
data sets
test data
expert systems
image processing
decision making
test set
test suite
computer vision