A Parallel Algorithm for Static Program Slicing.

Sebastian Danicic Mark Harman Yoga Sivagurunathan

Published in: Inf. Process. Lett. (1995)

Keyphrases

parallel algorithm
program slicing
fault localization
formal verification
source code
parallel computation
description languages
shared memory
reverse engineering
cluster of workstations
parallel implementations
binary search trees
medial axis transform
parallel version
dominant points
heuristic search
case study