Biblio

Export 1 results:
Filters: Author is Yuan Jochen Kang  [Clear All Filters]
2016
Jana S, Kang YJochen, Roth S, Ray B.  2016.  Automatically Detecting Error Handling Bugs Using Error Specifications. 25th USENIX Security Symposium (USENIX Security 16). :345--362.