Finding resource-release omission faults in Linux.

Suman Saha Julia Lawall Gilles Muller

Published in: ACM SIGOPS Oper. Syst. Rev. (2011)

Keyphrases

operating system
resource allocation
fault detection
search engine
website
database systems
database applications
test cases
fault diagnosis
fault model
data sets
resource constraints
model based diagnosis
web resources
resource management
distributed systems
open source
object oriented
neural network
databases