Comparison of Model-Based Error Localization algorithms for C designs

The paper addresses Model-Based Design Error Localization in C designs. We consider a localization algorithm that is implemented with Dynamic Slicing and simulation using C code animation. The localization algorithm has been integrated into the FoREnSiC automated debugging system. Different ranking algorithms are compared and their ranking accuracy for Error Localization is measured by experimental results on the Siemens benchmark set. A new contribution of the paper is the observation that a simple error ranking metric that takes into account only information from failed sequences has the least average deviation from exact localization.