A Slice Monad Transformer and Its Applications in Program Slicing.

Yingzhou Zhang Baowen Xu

Published in: ICECCS (2005)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
fuzzy logic
fault diagnosis
artificial intelligence
model checking
fault detection
monitoring system
software maintenance
neural network
support vector machine
distributed systems