Automatically detecting error handling bugs using error specifications

Jana, Suman; Kang, Yuan Jochen; Roth, Samuel; Ray, Baishakhi;

Columbia University

New York City, NY 10027, USA