Automated test generation for synchronous controllers.

Mouna Tka Mnad Christophe Deleuze Ioannis Parissis Jackie Launay Jean Baptiste Gning

Published in: AST@ICSE (2016)

Keyphrases

test generation
test cases
test sequences
design automation
quality assurance
mutation testing
symbolic execution
software testing
control system
static analysis
code coverage
data sets
human operators
test data generation
control strategy
training data
real world