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. © 2010 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Kern, C., & Esparza, J. (2010). Automatic error correction of java programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6371 LNCS, pp. 67–81). https://doi.org/10.1007/978-3-642-15898-8_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
