Finding resource-release omission faults in Linux.

Suman Saha Julia Lawall Gilles Muller

Published in: PLOS@SOSP (2011)

Keyphrases

operating system
fault diagnosis
open source
database systems
resource allocation
file system
fault detection
database
real time
management system
resource management
resource constraints
fault model