Identifying reusable functions using specification driven program slicing: a case study.

Aniello Cimitile Andrea De Lucia Malcolm Munro

Published in: ICSM (1995)

Keyphrases

program slicing
formal verification
case study
description languages
model checking
source code
fault localization
software components
reverse engineering
formal specification