WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code

Julia Laetitia Lawall, Julien Pierre Manuel Brunel, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller

211 Downloads (Pure)

Fingerprint

Dive into the research topics of 'WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code'. Together they form a unique fingerprint.

Engineering & Materials Science