Property Driven Program Slicing Refinement.

Sukriti Bhattacharya Agostino Cortesi

Published in: ICSOFT (2) (2011)

Keyphrases

program slicing
description languages
fault localization
source code
formal verification
neural network
reverse engineering