SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Browse the full IFM paper archive.