Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti. Discovering the input assumptions in specification refinement coverage. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 13-18, IEEE, 2006. [doi]
@inproceedings{BasuDDC06,
title = {Discovering the input assumptions in specification refinement coverage},
author = {Prasenjit Basu and Sayantan Das and Pallab Dasgupta and Partha Pratim Chakrabarti},
year = {2006},
doi = {10.1145/1118299.1118305},
url = {http://doi.acm.org/10.1145/1118299.1118305},
tags = {refinement, coverage},
researchr = {https://researchr.org/publication/BasuDDC06},
cites = {0},
citedby = {0},
pages = {13-18},
booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006},
editor = {Fumiyasu Hirose},
publisher = {IEEE},
isbn = {0-7803-9451-8},
}