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

Kanna Shimizu, David L. Dill

Browse the full DAC paper archive.