WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.

Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren Rydhof Hansen, Henrik Stuart, Gilles Muller

Browse the full DSN paper archive.