@inproceedings {269252,
	author = {Dawson Engler},
	title = {How to Find Serious Bugs in Real Code},
	booktitle = {14th USENIX Security Symposium (USENIX Security 05)},
	year = {2005},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/14th-usenix-security-symposium/how-find-serious-bugs-real-code},
	publisher = {USENIX Association},
	month = jul
}
