Systematic Testing of Model-Based Code Generators.

Ingo Stürmer Mirko Conrad Heiko Dörr Peter Pepper

Published in: IEEE Trans. Software Eng. (2007)

Keyphrases

code generation
database
source code
data driven
test set
model free
error correcting
concurrent programs
machine learning
evolutionary algorithm
open source
test cases
software testing
static analysis
quality assurance
symbolic execution