2010 | OriginalPaper | Buchkapitel
Automatic Error Correction of Java Programs
verfasst von : Christian Kern, Javier Esparza
Erschienen in: Formal Methods for Industrial Critical Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.