Verified Validation of Program Slicing.

Sandrine Blazy André Maroneze David Pichardie

Published in: CPP (2015)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
software maintenance
case study
model checking
dynamic systems
service oriented