Mining Succinct Predicated Bug Signatures

Authors: Chengnian Sun Siau-Cheng Khoo

Venue: FSE   2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE), pp. 576-586, 2013

Year: 2013

Abstract: A bug signature is a set of program elements highlighting the cause or effect of a bug, and provides contextual information for debugging. In order to mine a signature for a buggy program, two sets of execution profiles of the program, one capturing the correct execution and the other capturing the faulty, are examined to identify the program elements contrasting faulty from correct. Signatures solely consisting of control flow transitions have been investigated via discriminative sequence and graph mining algorithms. These signatures might be handicapped in cases where the effect of a bug is not manifested by any deviation in control flow transitions. In this paper, we introduce the notion of predicated bug signature\/ that aims to enhance the predictive power of bug signatures by utilizing both data predicates and control-flow information. We introduce a novel ``discriminative itemset generator'' mining technique to generate succinct\/ signatures which do not contain redundant or irrelevant program elements. Our case studies demonstrate that predicated signatures can hint at more scenarios of bugs where traditional control-flow signatures fail.

BibTeX:

@inproceedings{chengniansun2013mspbs,
    author = "Chengnian Sun and Siau-Cheng Khoo",
    title = "Mining Succinct Predicated Bug Signatures",
    year = "2013",
    pages = "576-586",
    booktitle = "Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE)"
}

Plain Text:

Chengnian Sun and Siau-Cheng Khoo, "Mining Succinct Predicated Bug Signatures," 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE), pp. 576-586