Login / Signup
05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.
Mark Harman
David W. Binkley
Jens Krinke
Published in:
Beyond Program Slicing (2005)
Keyphrases
</>
program slicing
description languages
source code
formal verification
fault localization
reverse engineering
case study
software maintenance
model based diagnosis
description language
software testing
feature selection
classification accuracy