Program Specialization via Program Slicing.

Thomas W. Reps Todd Turnidge

Published in: Dagstuhl Seminar on Partial Evaluation (1996)

Keyphrases

program slicing
fault localization
source code
description languages
formal verification
reverse engineering
software testing
description language
model based diagnosis
neural network
object oriented
open source
model checking
service oriented
software maintenance