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]
@inproceedings{JanaKRR16,
title = {Automatically Detecting Error Handling Bugs Using Error Specifications},
author = {Suman Jana and Yuan Jochen Kang and Samuel Roth and Baishakhi Ray},
year = {2016},
url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/jana},
researchr = {https://researchr.org/publication/JanaKRR16},
cites = {0},
citedby = {0},
pages = {345-362},
booktitle = {25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016},
editor = {Thorsten Holz and Stefan Savage},
publisher = {USENIX Association},
}