Program Slicing Using Weakest Preconditions.

Joseph J. Comuzzi Johnson M. Hart

Published in: FME (1996)

Keyphrases

program slicing
source code
description languages
formal verification
fault localization
reverse engineering
software maintenance
open source
software systems
feature space
software projects
model based diagnosis
description language
software metrics