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

Ingo Pill, Franz Wotawa. Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. In Marina Zanella, Ingo Pill, Alessandro Cimatti, editors, 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Volume 4 of Kalpa Publications in Computing, pages 248-263, EasyChair, 2017. [doi]

Abstract

Abstract is missing.