Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within
OSDI, 2006.
@inproceedings{OSDI-2006-KremenekTBNE,
author = "Ted Kremenek and Paul Twohey and Godmar Back and Andrew Y. Ng and Dawson R. Engler",
booktitle = "{Proceedings of the Seventh Symposium on Operating Systems Design and Implementation}",
ee = "http://www.usenix.org/events/osdi06/tech/kremenek.html",
isbn = "1-931971-47-1",
pages = "161--176",
publisher = "{USENIX Association}",
title = "{From Uncertainty to Belief: Inferring the Specification Within}",
year = 2006,
}