Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs.
Xiaofang QiXiaojing XuPeng WangPublished in: SEKE (2012)
Keyphrases
- program slicing
- computer programs
- fault localization
- concurrent programs
- source code
- program execution
- automatic programming
- description languages
- formal verification
- prolog programs
- control program
- java programs
- concurrent programming
- computer chess
- high level programming language
- symbolic execution
- novice programmers
- graph theoretic
- programming environment
- transitive closure
- program code
- control flow
- programming environments
- hardware designs
- high level programming
- fixpoint
- static analysis
- graph representation
- model based diagnosis
- graph matching
- multi threaded
- test suite
- runtime environment
- functional programs
- programming education
- graph model
- reverse engineering
- weighted graph
- graph structure
- graph theory