Login / Signup
SemSlice: Exploiting Relational Verification for Automatic Program Slicing.
Bernhard Beckert
Thorsten Bormer
Stephan Gocht
Mihai Herda
Daniel Lentzsch
Mattias Ulbrich
Published in:
IFM (2017)
Keyphrases
</>
program slicing
formal verification
model checking
relational databases
source code
fault localization
dynamic systems
reverse engineering
description languages
multi agent systems
domain independent
fault detection