Program slicing based on specification.

In Sang Chung Wan Kwon Lee Gwang Sik Yoon Yong Rae Kwon

Published in: SAC (2001)

Keyphrases

program slicing
formal verification
model checking
source code
description languages
fault localization
reverse engineering
high level
software testing
artificial intelligence
information systems
distributed systems
formal specification