@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 }