Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.

George Devaraj Mats Per Erik Heimdahl Donglin Liang

Published in: COMPSAC (1) (2005)

Keyphrases

computational model
mathematical model
probabilistic model
conceptual model
information technology
probability distribution
test generation
real world
machine learning
database systems