ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code.
Sahar BadihiFaridah AkinotchoYi LiJulia RubinPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- program understanding
- static analysis
- computer programs
- program code
- concurrent programs
- java programs
- programs written
- source code
- iterative refinement
- programming language
- high level
- symbolic execution
- data abstraction
- decision theoretic planning
- concurrent processes
- refinement process
- iterative methods
- fault localization
- database
- control flow
- programming environment
- reverse engineering
- test cases
- software development
- website
- search engine