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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.