Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates


Statistical debugging is a technique that mines data obtained from software executions in order to identify the program statements that are relevant to program bugs. Specifically, program predicates are injected into the program during compilation and statistics about those predicates are collected during the program execution. When bugs are found but the… (More)
DOI: 10.1109/APSEC.2012.37


1 Figure or Table