David Brumley Pongsin Poosankam Dawn Xiaodong Song Jiang Zheng Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications. 143-157 2008 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SP.2008.17 conf/sp/2008 db/conf/sp/sp2008.html#BrumleyPSZ08