Model-Based Testing Using Symbolic Animation and Machine Learning.

Pierre-Christophe Bué Frédéric Dadeau Pierre-Cyrille Héam

Published in: ICST Workshops (2010)

Keyphrases

machine learning
model based testing
test cases
software development
artificial intelligence
sequence diagrams
software design
feature selection
decision trees
data mining
software testing
supervised learning
active learning
data sets
high level
information systems
learning algorithm