Statistical debugging: simultaneous identification of multiple bugs

By Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, A. Aiken. 2006

174 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Information Systems, Software, Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Baowen Xu
2. Tsong Yueh Chen
3. Alex Groce
4. Michael R. Lyu
5. Zibin Zheng

In Information Systems

1. Rajeev Joshi
2. Baowen Xu
3. Tsong Yueh Chen
4. Xiaoyuan Xie
5. Alex Groce
6. Michael R. Lyu
7. Fei-Ching Kuo
8. Zibin Zheng

In Software

1. Rajeev Joshi
2. Baowen Xu
3. Tsong Yueh Chen
4. Xiaoyuan Xie
5. Gerard J. Holzmann
6. Alex Groce
7. Michael R. Lyu
8. Fei-Ching Kuo

In Program Analysis & Verification

1. Baowen Xu

Citations in the corpus

• A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization (2013, background): “As such, the fault local­ization interference among multiple faults can be reduced [Liu and Han 2006; Zheng et al. 2006; Jones et al. 2007].”
• Randomized Differential Testing as a Prelude to Formal Verification (2007, methodology): “We expect that minimization would assist automated statistical error classifi cation approaches as well [17].”
• Software Reliability Engineering: A Roadmap (2007, background): “In particular, statistical debugging approaches [26, 52], whose original purpose was to identify software faults with probabilistic modeling of program predicates, can provide a fine quantitative assessment of program codes with respect to software faults.”