Suman Jana, Yuan Jochen Kang, Samuel Roth, Baishakhi Ray. Automatically Detecting Error Handling Bugs Using Error Specifications. In Thorsten Holz, Stefan Savage, editors, 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. pages 345-362, USENIX Association, 2016. [doi]
Abstract is missing.