Auto-generating Test Sequences Using Model Checkers: A Case Study.

Mats Per Erik Heimdahl Sanjai Rayadurgam Willem Visser George Devaraj Jimin Gao

Published in: FATES (2003)

Keyphrases

statistical model
test sequences
probabilistic model
database
decision trees
probability distribution
computational model
mathematical model
experimental data
high level
prior knowledge
management system