{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T16:22:15Z","timestamp":1751473335543},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>The diagnosis model is certainly a key element for any model-based diagnosis process.  Experience shows though that in practice we often have no such model available for one or the other reason, so that in many projects we cannot draw on diagnosis processes when tackling problems. In this paper, we thus show how to improve on available automated processes for deriving a diagnostic model from standard simulation models as usually created during development. We delve in particular into the question how research in the context of combinatorial testing and fault injection can help in this respect, and consider several questions that arise.<\/jats:p>","DOI":"10.29007\/svc7","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:34Z","timestamp":1515742294000},"page":"248-231","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model"],"prefix":"10.29007","volume":"4","author":[{"given":"Ingo","family":"Pill","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"28th International Workshop on Principles of Diagnosis (DX'17)"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:40Z","timestamp":1515742300000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/7t86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/svc7","relation":{},"ISSN":["2515-1762"],"issn-type":[{"type":"print","value":"2515-1762"}],"subject":[]}}