Must Fault Localization for Program Repair.

Bat-Chen Rothenberg Orna Grumberg

Published in: CAV (2) (2020)

Keyphrases

fault localization
fault isolation
program understanding
model based diagnosis
fault detection
program slicing
software testing
data abstraction
decision making
software development
databases
query processing
fault diagnosis