Model-Based Diagnosis with Multiple Observations
Abstract
Existing automated testing frameworks require multiple observations to be jointly diagnosed with the purpose of identifying common fault locations. This is the case for example with continuous integration tools. This paper shows that existing solutions fail to compute the set of minimal diagnoses, and as a result run times can increase by orders of magnitude. The paper proposes not only solutions to correct existing algorithms, but also conditions for improving their run times. Nevertheless, the diagnosis of multiple observations raises a number of important computational challenges, which even the corrected algorithms are often unable to cope with. As a result, the paper devises a novel algorithm for diagnosing multiple observations, which is shown to enable significant performance improvements in practice.
Cite
Text
Ignatiev et al. "Model-Based Diagnosis with Multiple Observations." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/155Markdown
[Ignatiev et al. "Model-Based Diagnosis with Multiple Observations." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/ignatiev2019ijcai-model/) doi:10.24963/IJCAI.2019/155BibTeX
@inproceedings{ignatiev2019ijcai-model,
title = {{Model-Based Diagnosis with Multiple Observations}},
author = {Ignatiev, Alexey and Morgado, António and Weissenbacher, Georg and Marques-Silva, João},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1108-1115},
doi = {10.24963/IJCAI.2019/155},
url = {https://mlanthology.org/ijcai/2019/ignatiev2019ijcai-model/}
}