Automatic test generation using checkpoint encoding and antirandom testing.

Huifang Yin Zemen Lebne-Dengel Yashwant K. Malaiya

Published in: ISSRE (1997)

Keyphrases

test generation
test cases
symbolic execution
test sequences
software testing
design automation
quality assurance
static analysis
mutation testing
regression testing
code coverage
test data generation
databases
fault tolerance
fault tolerant
database systems
data sets
source code
decision trees