@inproceedings{conf/osdi/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},
booktitle = {OSDI},
crossref = {conf/osdi/2006},
pages = {161-176},
publisher = {USENIX Association},
url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2006.html#KremenekTBNE06},
year = {2006},
description = {dblp},
ee = {http://www.usenix.org/events/osdi06/tech/kremenek.html}, date = {2007-06-18},
keywords = {dblp }
}
::