Combining algorithmic debugging and program slicing.

Josep Silva Olaf Chitil

Published in: PPDP (2006)

Keyphrases

program slicing
fault localization
description languages
source code
formal verification
reverse engineering
neural network
software systems
model based diagnosis
software testing
artificial intelligence
classification accuracy
software maintenance
fault detection