Program slicing using a path dependence flow graph.
Kuniaki NaoiNaohisa TakahashiPublished in: Systems and Computers in Japan (1996)
Keyphrases
- flow graph
- shortest path
- program slicing
- flow graphs
- random walk
- description languages
- formal verification
- source code
- fault localization
- information flow
- reverse engineering
- model based diagnosis
- object oriented databases
- open source
- formal specification
- software maintenance
- fuzzy logic
- rough sets
- software engineering