Program slicing based on data-flow computation of path dependence flow graphs.

Kuniaki Naoi Naohisa Takahashi

Published in: Systems and Computers in Japan (1997)

Keyphrases

data flow
flow graphs
program slicing
flow graph
database machine
control flow
shortest path
description languages
object oriented
formal verification
reverse engineering
random walk
source code
expert systems
artificial intelligence
neural network
decision table
databases
fault localization
social networks
real world