Coverage Based Test-Case Generation Using Model Checkers.

Sanjai Rayadurgam Mats Per Erik Heimdahl

Published in: ECBS (2001)

Keyphrases

databases
database
data sets
machine learning
information systems
optimal solution
probabilistic model