The Future of Automated Debugging - Focus on the Niches First

Abstract

There is a gap between research and practice of automated and algorithmic debugging. In order to close this gap, we claim to search for niches where research techniques and methods can be more easily applied and tested under realworld development conditions. In particular, we discuss the niche of spreadsheet fault localization as one very promising area and present the current state of research in applying model-based debugging for spreadsheets.