Analyzing protocol implementations for interoperability
Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications