Flock: Accurate network fault localization at scale.

Vipul Harsh Tong Meng Kapil Agrawal Philip Brighten Godfrey

Published in: CoRR (2023)

Keyphrases

fault localization
model based diagnosis
artificial intelligence
fault detection
data abstraction
databases
np hard
software testing
program understanding
program slicing
knowledge base
formal specification