Kato: A Program Slicing Tool for Declarative Specifications.

Engin Uzuncaova Sarfraz Khurshid

Published in: ICSE (2007)

Keyphrases

program slicing
formal verification
high level
attribute grammars
source code
domain independent
formal specification