Towards easing the diagnosis of bugs in OS code.
Henrik StuartRené Rydhof HansenJulia L. LawallJesper AndersenYoann PadioleauGilles MullerPublished in: PLOS@SOSP (2007)
Keyphrases
- source code
- open source
- operating system
- programs written
- static analysis
- fault diagnosis
- root cause
- model based diagnosis
- model based reasoning
- medical diagnosis
- windows xp
- database manager
- fault detection
- virtual machine
- software systems
- databases
- multiple faults
- fault localization
- db universal database
- bug localization
- breast cancer diagnosis
- attention deficit hyperactivity disorder
- clinically relevant
- error correcting
- data mining