Automatically Detecting Error Handling Bugs Using Error Specifications

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]

Authors

Suman Jana

This author has not been identified. Look up 'Suman Jana' in Google

Yuan Jochen Kang

This author has not been identified. Look up 'Yuan Jochen Kang' in Google

Samuel Roth

This author has not been identified. Look up 'Samuel Roth' in Google

Baishakhi Ray

This author has not been identified. Look up 'Baishakhi Ray' in Google