Using Static Analysis to Improve Automatic Test Generation.

Marius Bozga Jean-Claude Fernandez Lucian Ghirvu

Published in: TACAS (2000)

Keyphrases

static analysis
test generation
symbolic execution
dynamic analysis
source code
test sequences
malicious code
java card
test cases
design automation
test suite
abstract interpretation
regular expressions
semi automatic
test data generation
image quality
code coverage
data model
image processing