Program Repair as Sound Optimization of Broken Programs.
Bernd FischerAndo SaabasTarmo UustaluPublished in: TASE (2009)
Keyphrases
- computer programs
- program execution
- programming environment
- functional programs
- control program
- automatic programming
- high level programming language
- java programs
- optimization algorithm
- programming education
- prolog programs
- intermediate level
- computer chess
- symbolic execution
- optimization problems
- programming language
- global optimization
- control flow
- recursive programs
- program slicing
- programming environments
- logic programs
- imperative programs
- constrained optimization
- combinatorial optimization
- fault localization
- data sets
- application programs
- optimization process