KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.

Guodong Li Indradeep Ghosh Sreeranga P. Rajan

Published in: CAV (2011)

Keyphrases

symbolic execution
test generation
test cases
static analysis
design automation
test data generation
quality assurance
specification language
software testing
query processing
genetic algorithm
database systems
evolutionary algorithm