Shireesh Verma, Kiran Ramineni, Ian G. Harris. An efficient control-oriented coverage metric. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 317-322, ACM Press, 2005. [doi]
@inproceedings{VermaRH05,
title = {An efficient control-oriented coverage metric},
author = {Shireesh Verma and Kiran Ramineni and Ian G. Harris},
year = {2005},
doi = {10.1145/1120725.1120858},
url = {http://doi.acm.org/10.1145/1120725.1120858},
tags = {coverage},
researchr = {https://researchr.org/publication/VermaRH05},
cites = {0},
citedby = {0},
pages = {317-322},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005},
editor = {Ting-Ao Tang},
publisher = {ACM Press},
isbn = {0-7803-8737-6},
}