Automatic Test Generation for Model-Based Code Generators.

Sergey V. Zelenov Denis V. Silakov Alexander K. Petrenko Mirko Conrad Ines Fey

Published in: ISoLA (2006)

Keyphrases

test generation
static analysis
symbolic execution
test cases
test sequences
source code
mutation testing
quality assurance
design automation
cooperative
multi agent systems
database systems
software systems
case study
e learning
databases
data sets
database