Using static analysis to improve automatic test generation.

Marius Bozga Jean-Claude Fernandez Lucian Ghirvu

Published in: Int. J. Softw. Tools Technol. Transf. (2003)

Keyphrases

static analysis
test generation
symbolic execution
source code
dynamic analysis
design automation
test sequences
malicious code
test cases
java card
abstract interpretation
regular expressions
real world
semi automatic
open source
artificial intelligence
code coverage
databases