"Deriving a simulation input generator and a coverage metric from a formal ..."

Kanna Shimizu, David L. Dill (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics