Modular Monadic Program Slicing.

Yingzhou Zhang Baowen Xu Liang Shi Bixin Li Hongji Yang

Published in: COMPSAC (2004)

Keyphrases

program slicing
description languages
source code
formal verification
fault localization
reverse engineering
software maintenance
software systems
software metrics
design process
object oriented
software engineering
model checking
quality assessment