The value of slicing while debugging.

Margaret Ann Francel Spencer Rugaber

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

Keyphrases

program slicing
fault localization
description languages
formal verification
source code
reverse engineering
model based diagnosis
hardware designs
databases
real world
case study
data structure
dynamic systems
software testing
execution traces