Evaluating Partial Correctness of Programs in Automated Program Repair.
Yusaku ItoHironori WashizakiKazunori SakamotoYoshiaki FukazawaPublished in: GCCE (2021)
Keyphrases
- computer programs
- control program
- program execution
- automatic programming
- java programs
- programming environment
- computer chess
- prolog programs
- novice programmers
- provably correct
- intermediate level
- program slicing
- symbolic execution
- functional programs
- concurrent programs
- high level programming language
- programming language constructs
- semi automated
- control flow
- stable model semantics
- programming language
- hardware designs
- answer set programs
- recursive programs
- programming education
- answer sets
- programming environments
- fully automated
- imperative programs
- high level programming
- neural network
- loop formulas
- magic sets
- program code
- answer set programming
- semi automatic
- failure rate
- logic programs
- set of test cases
- declarative semantics