Towards Probabilistic Program Slicing.

Published in: Beyond Program Slicing (2005)

Keyphrases

program slicing
description languages
formal verification
neural network
case study
source code
reverse engineering
dynamic systems