Using task analytic models to visualize model checker counterexamples.

Matthew L. Bolton Ellen J. Bass

Published in: SMC (2010)

Keyphrases

model checking
model checker
data mining
high level
object oriented
service oriented
genetic algorithm
training data
state space
rough sets
knowledge acquisition
formal methods