Prioritized static slicing and its application to fault localization.

Yiji Zhang Raúl A. Santelices

Published in: J. Syst. Softw. (2016)

Keyphrases

fault localization
program slicing
program understanding
model based diagnosis
software testing
data abstraction
fault detection
real world
source code
formal verification
description languages
genetic algorithm
knowledge base
software engineering