@inproceedings{jana:errspec,
  author = {Suman Jana and Yuan Kang and Samuel Roth  and Baishakhi Ray},
  title = {{Automatically Detecting Error Handling Bugs using Error Specifications}},
  booktitle = {25th USENIX Security Symposium (USENIX Security '16)},
  address = {Austin},
  month = {August},
  year = 2016
}