Automatic error correction of java programs

Christian Kern, Javier Esparza

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

We present a technique for automatically detecting and correcting software bugs. The programmer is required to define a catalog of hotspots, syntactic constructs she considered to be error prone (e.g. i < N), together with suitable alternatives (e.g. i < (N + 1) and i < (N-1)). Given a faulty program, search techniques are then applied to find a combination of alternatives yielding a correct program. The technique is implemented on top of the Java Pathfinder Framework.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
Pages67-81
Number of pages15
DOIs
StatePublished - 2010
Event15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 - Antwerp, Belgium
Duration: 20 Sep 201021 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6371 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010
Country/TerritoryBelgium
CityAntwerp
Period20/09/1021/09/10

Fingerprint

Dive into the research topics of 'Automatic error correction of java programs'. Together they form a unique fingerprint.

Cite this