×

SOBER

swMATH ID: 40000
Software Authors:
Description: SOBER: statistical model-based bug localization. Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose important clues about underlying bugs. In this paper, we propose a new statistical model-based approach, called SOBER, which localizes software bugs without any prior knowledge of program semantics. Unlike existing statistical debugging approaches that select predicates correlated with program failures, SOBER models evaluation patterns of predicates in both correct and incorrect runs respectively and regards a predicate as bug-relevant if its evaluation pattern in incorrect runs differs significantly from that in correct ones. SOBER features a principled quantification of the pattern difference that measures the bug-relevance of program predicates.We systematically evaluated our approach under the same setting as previous studies. The result demonstrated the power of our approach in bug localization: SOBER can help programmers locate 68 out of 130 bugs in the Siemens suite when programmers are expected to examine no more than 10
Homepage: https://dl.acm.org/doi/10.1145/1095430.1081753
Related Software: VIDA; Zoltar; LIBSVM; ADABU; Falcon; Daikon; CSSV; Eclat; CUTE
Cited in: 3 Documents

Cited in 1 Serial

1 Computing

Citations by Year