Daniel Große, Ulrich Kühne, Rolf Drechsler. Estimating functional coverage in bounded model checking. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 1176-1181, ACM, 2007. [doi]
@inproceedings{GrosseKD07,
title = {Estimating functional coverage in bounded model checking},
author = {Daniel Große and Ulrich Kühne and Rolf Drechsler},
year = {2007},
doi = {10.1145/1266366.1266620},
url = {http://doi.acm.org/10.1145/1266366.1266620},
tags = {model checking, meta-model, Meta-Environment, coverage},
researchr = {https://researchr.org/publication/GrosseKD07},
cites = {0},
citedby = {0},
pages = {1176-1181},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France},
editor = {Rudy Lauwereins and Jan Madsen},
publisher = {ACM},
isbn = {978-3-9810801-2-4},
}