On the Use of Bug and Predicate Signatures for Statistical Debugging.
Yiwei ZhangEric LoBen KaoPublished in: SEKE (2013)
Keyphrases
- statistical analysis
- first order logic
- statistical approaches
- source code
- statistical models
- logic rules
- signature recognition
- statistical data
- horn clauses
- statistical information
- statistical significance
- model based diagnosis
- data sets
- statistical model
- data driven
- similarity measure
- case study
- information systems