License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.2.1
URN: urn:nbn:de:0030-drops-40166
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4016/
Go back to Dagstuhl Reports

Harrold, Mary Jean ; Steinmann, Friedrich ; Tip, Frank ; Zeller, Andreas
Weitere Beteiligte (Hrsg. etc.): Mary Jean Harrold and Friedrich Steimann and Frank Tip and Andreas Zeller

Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)

pdf-format:
dagrep_v003_i002_p001_s13061.pdf (2 MB)

Abstract

Software debugging, which involves localizing, understanding, and removing the
cause of a failure, is a notoriously difficult, extremely time consuming, and human-intensive activity. For this reason, researchers have invested a great deal of effort in developing automated techniques and tools for supporting various debugging tasks. In this seminar, we discussed several different tools and techniques that aid in the task of Fault Prediction, Localization and Repair.

The talks encompassed a wide variety of methodologies for fault prediction and localizing, such as
- statistical fault localization,
- core dump analysis,
- taint analysis,
- program slicing techniques,
- dynamic fault-comprehension techniques,
- visualization techniques,
- combining hardware and software instrumentation for fault detection and failure prediction,
- and verification techniques for checking safety properties of programs.

For automatically (or semi-automatically) repairing faulty programs, the talks covered approaches such as

- automated repair based on symbolic execution, constraint solving and program synthesis,
- combining past fix patterns, machine learning and semantic patch generation
- a technique that exploits the intrinsic redundancy of reusable components,
- a technique based on memory-access patterns and a coverage matrix,
- a technique that determines a combination of mutual-exclusion and order relationships that, once enforced, can prevent buggy interleaving.

in addition, this seminar also explored some unusual topics such as Teaching Debugging, using Online Courses. Another interesting topic covered was the low representation of females in computing, and how programming and debugging tools interact with gender differences.

BibTeX - Entry

@Article{harrold_et_al:DR:2013:4016,
  author =	{Mary Jean Harrold and Friedrich Steinmann and Frank Tip and Andreas Zeller},
  title =	{{Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Mary Jean Harrold and Friedrich Steimann and Frank Tip and Andreas Zeller},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4016},
  URN =		{urn:nbn:de:0030-drops-40166},
  doi =		{10.4230/DagRep.3.2.1},
  annote =	{Keywords: Program analysis, Automated debugging, Fault prediction, Fault repair, Fault localization, Statistical debugging, Change impact analysis}
}

Keywords: Program analysis, Automated debugging, Fault prediction, Fault repair, Fault localization, Statistical debugging, Change impact analysis
Collection: Dagstuhl Reports, Volume 3, Issue 2
Issue Date: 2013
Date of publication: 11.06.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI