Abstract program slicing on dependence condition graphs.

Raju Halder Agostino Cortesi

Published in: Sci. Comput. Program. (2013)

Keyphrases

program slicing
description languages
formal verification
fault localization
source code
high level
reverse engineering
artificial intelligence