@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},
	biburl = {http://www.bibsonomy.org/bibtex/262be779f40e82530af623d32645f5cf6/dblp},
	description = {dblp},
	ee = {http://www.usenix.org/events/osdi06/tech/kremenek.html}, date = {2007-06-18},
	keywords = {dblp }
}