The impacts of techniques, programs and tests on automated program repair: An empirical study.
Xianglong KongLingming ZhangW. Eric WongBixin LiPublished in: J. Syst. Softw. (2018)
Keyphrases
- computer programs
- program execution
- automatic programming
- symbolic execution
- control program
- test generation
- prolog programs
- programming environment
- computer chess
- set of test cases
- java programs
- semi automated
- test suite
- functional programs
- test cases
- high level programming language
- hardware designs
- program slicing
- stable model semantics
- imperative programs
- programming environments
- high level programming
- control flow
- program code
- programming language constructs
- programming language
- novice programmers
- static analysis
- fully automated
- declarative semantics
- application programs
- automated analysis
- statistical tests
- evaluation function
- programs written
- programming education
- multiple choice
- fixpoint
- logic programs