Automatically Detecting Error Handling Bugs Using Error Specifications presented at USENIX 2016

by Suman Jana, Yuan Kang, Samuel Roth, Baishakhi Ray,

Summary : N/A