Login / Signup
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.
Arnaud Albinet
Jean Arlat
Jean-Charles Fabre
Published in:
DSN (2004)
Keyphrases
</>
linux kernel
operating system
software systems
source code
clone detection
software engineering
genetic algorithm
high robustness
relational databases
model based diagnosis
analysis tool