Experience report: How do techniques, programs, and tests impact automated program repair?
Xianglong KongLingming ZhangW. Eric WongBixin LiPublished in: ISSRE (2015)
Keyphrases
- computer programs
- program execution
- control program
- automatic programming
- test cases
- computer chess
- world class
- java programs
- high level programming language
- programming environment
- functional programs
- set of test cases
- prolog programs
- semi automated
- symbolic execution
- loop formulas
- programming skills
- novice programmers
- logic programs
- programming environments
- fully automated
- program slicing
- test suite
- declarative semantics
- imperative programs
- hardware designs
- recursive programs
- programming education
- test generation
- programs written
- application programs
- fault localization
- stable model semantics
- diagnostic tests
- evaluation function
- repair actions
- practical experience
- user experience
- high level programming