Using symbolic execution to guide test generation.

Gareth Lee John Morris Kris Parker Gary A. Bundell Chiou Peng Lam

Published in: Softw. Test. Verification Reliab. (2005)

Keyphrases

symbolic execution
test generation
test cases
static analysis
design automation
test data generation
quality assurance
software testing
source code
specification language
learning algorithm
database systems
machine vision
business rules