TY - GEN
T1 - Automatic error correction of java programs
AU - Kern, Christian
AU - Esparza, Javier
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77958035094&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-15898-8_5
DO - 10.1007/978-3-642-15898-8_5
M3 - Conference contribution
AN - SCOPUS:77958035094
SN - 3642158978
SN - 9783642158971
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 67
EP - 81
BT - Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
T2 - 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010
Y2 - 20 September 2010 through 21 September 2010
ER -