AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.

Mariem Abdelmoula Daniel Gaffé Michel Auguin

Published in: ICTSS (2014)

Keyphrases

test set
reactive systems
error rate
training set
training data
evaluation methodology
test data
model checking
data mining
case study
information flow
test cases
learning algorithm
knowledge representation
real time systems
random selection