Kato: A Program Slicing Tool for Declarative Specifications.

Engin Uzuncaova, Sarfraz Khurshid

Browse the full ICSE paper archive.