Conditioned program slicing.

Gerardo Canfora Aniello Cimitile Andrea De Lucia

Published in: Inf. Softw. Technol. (1998)

Keyphrases

program slicing
description languages
source code
formal verification
fault localization
reverse engineering
description language
software maintenance
model based diagnosis
open source
high level
object oriented
software systems
software testing
data abstraction
regression testing