A Novel Approach for Static Slicing of Inter-Procedural Programs.

Swatee Rekha Mohanty Durga Prasad Mohapatra Himansu Sekhar Behara

Published in: ICIT (2006)

Keyphrases

program slicing
data sets
provably correct
fixpoint
automatic programming
databases
neural network
computer vision
information technology
domain knowledge
reverse engineering
dynamic analysis
control structures