-
Improving the Quality of Error-Handling Code in Systems Software using Functi...
In C, a typical strategy for implementing error handling code is to follow each operation that may encounter an error by a conditional that checks for an error result... -
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage ...
International audience -
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code
International audience
