Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.

Ingo Pill Franz Wotawa

Published in: DX (2017)

Keyphrases

model based diagnosis
consistency based diagnosis
model based reasoning
discrete event systems
fault localization
multi agent
probability distribution
computer systems
logic programming
mathematical model
constraint programming
physical systems