Automatic Test Generation for LUSTRE/SCADE Programs.

Virginia Papailiopoulou

Published in: ASE (2008)

Keyphrases

test generation
symbolic execution
test cases
design automation
test sequences
static analysis
mutation testing
quality assurance
information systems
data sets
real world
machine learning
software systems
software testing