@inproceedings{usenixsec11-cbpcsw,
  author    = {Chia Yuan Cho and Domagoj Babic and Pongsin Poosankam and Kevin Zhijie Chen and Dawn Song and Edward XueJun Wu},
  title     = {MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery},
  booktitle = {Proceedings of the 20th USENIX Security Symposium (USENIX Security '11)},
  address   = {San Francisco, CA, USA},
  month     = {August},
  year      = 2011,
}