@inproceedings {266527,
	author = {Chia Yuan Cho and Domagoj Babi{\'c} and Pongsin Poosankam and Kevin Zhijie Chen and Edward XueJun Wu and Dawn Song},
	title = {{MACE}: {Model-inference-Assisted} Concolic Exploration for Protocol and Vulnerability Discovery},
	booktitle = {20th USENIX Security Symposium (USENIX Security 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/usenix-security-11/mace-model-inference-assisted-concolic-exploration-protocol-and},
	publisher = {USENIX Association},
	month = aug
}
