Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer.

Daniel Wasserrab

Published in: Arch. Formal Proofs (2009)

Keyphrases

data sets
program slicing
artificial intelligence
model checking
database
nearest neighbor
general purpose
open source
human computer interaction