Effective Fault Localization Using Dynamic Slicing and an SMT Solver.

Yoshinao Ishii Takuro Kutsuna

Published in: ICST Workshops (2016)

Keyphrases

fault localization
program slicing
model based diagnosis
neural network
program understanding
knowledge base
software engineering
data management