Keyword:Automated Model Generation

Publications
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model Ingo Pill and Franz Wotawa In:28th International Workshop on Principles of Diagnosis (DX'17)