Understanding Failures Through Facts - ESEC/FSE 2011
by Jeremias R÷▀ler

ESEC/FSE '11: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 2011.

Download as PDF file.

Abstract

"Why does my program crash?"-This ever recurring question of software debugging drives the developer during the analysis of the failure. Complex defects are impossible to automatically identify; this can only be left to human judgment. But what we can do is empower the developer to make an informed decision, by helping her understand the failure. To fully comprehend a failure, one may need to consider many different aspects such as the range of the input parameters and the program's structure and runtime behavior. I propose an approach that gathers a variety of such facts from a given failing execution. To examine the correlation of those facts to the failure, it produces additional executions that differ in as few facts as possible. Then the approach creates generalizations and abstractions over the correlating facts. These explain different aspects of the failure and thus help the developer understand and eventually fix the underlying defect.

BibTeX Entry

@inproceedings{roessler-fse-2011,
    title = "Understanding Failures Through Facts",
    author = "Jeremias R÷▀ler",
    year = "2011",
    month = sep,
    booktitle = "ESEC/FSE '11: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering",
    location = "Szeged, Hungary",
}

Show all publications of the Software Engineering Chair.