Safety Property Driven Test Generation from.

Fabrice Bouquet Frédéric Dadeau Julien Groslambert Jacques Julliand

Published in: FATES/RV (2006)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
mutation testing
quality assurance
software testing
open source
artificial intelligence
pattern matching
error rate
case study
regression testing
test data generation
machine learning
databases