"A Practical Approach to Coverage in Model Checking."

Hana Chockler et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics