Kanna Shimizu, David L. Dill
Deriving a simulation input generator and a coverage metric from a formal specification
DAC, 2002.
@inproceedings{DAC-2002-ShimizuD,
author = "Kanna Shimizu and David L. Dill",
booktitle = "{Proceedings of the 39th Design Automation Conference}",
doi = "10.1145/513918.514118",
isbn = "1-58113-461-4",
pages = "801--806",
publisher = "{ACM}",
title = "{Deriving a simulation input generator and a coverage metric from a formal specification}",
year = 2002,
}