OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling.
Chunbai YangImran AshrafXiaoxue MaHao ZhangW. K. ChanPublished in: QRS (2021)
Keyphrases
- computer programs
- shortest path
- optimal path
- program execution
- control program
- multiple paths
- prolog programs
- automatic programming
- functional programs
- path selection
- high level programming language
- computer chess
- path length
- symbolic execution
- java programs
- programming education
- path planning
- path finding
- program slicing
- static analysis
- path queries
- execution paths
- control flow
- programming environments
- recursive programs
- hardware designs
- imperative programs
- programming environment
- programming language
- undergraduate engineering
- intermediate level
- answer sets
- declarative semantics
- magic sets
- logic programs
- programs written
- concurrent programs
- set of test cases
- test cases
- neural network