Kato: A Program Slicing Tool for Declarative Specifications

Engin Uzuncaova, Sarfraz Khurshid. Kato: A Program Slicing Tool for Declarative Specifications. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. pages 767-770, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.