Lazy Diagnosis of In-Production Concurrency Bugs.
Baris KasikciWeidong CuiXinyang GeBen NiuPublished in: SOSP (2017)
Keyphrases
- root cause
- model based diagnosis
- software systems
- medical diagnosis
- fault diagnosis
- database systems
- production system
- concurrency control
- quality control
- multiple faults
- lazy learning
- diagnostic reasoning
- diagnosis of discrete event systems
- automatic diagnosis
- production scheduling
- fault detection
- source code
- neural network
- averaged one dependence estimators
- clinically relevant
- maintenance activities
- production line
- high level