Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications
Advanced Compiler Design and Implementation