Slicing tools for synchronous reactive programs.

S. Ramesh, Aditya Rajeev Kulkarni, Viraj Kamat

Browse the full ISSTA paper archive.