MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery

Chia Yuan Cho
Pongsin Poosankam
Kevin Zhijie Chen
Edward XueJun Wu
Dawn Song
USENIX Security Symposium (2011)

Abstract