Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler. From Uncertainty to Belief: Inferring the Specification Within. In 7th Symposium on Operating Systems Design and Implementation (OSDI 06), November 6-8, Seattle, WA, USA. pages 161-176, USENIX Association, 2006. [doi]
@inproceedings{KremenekTBNE06,
title = {From Uncertainty to Belief: Inferring the Specification Within},
author = {Ted Kremenek and Paul Twohey and Godmar Back and Andrew Y. Ng and Dawson R. Engler},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/kremenek.html},
researchr = {https://researchr.org/publication/KremenekTBNE06},
cites = {0},
citedby = {0},
pages = {161-176},
booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI 06), November 6-8, Seattle, WA, USA},
publisher = {USENIX Association},
}