@misc{indiciaeaaf189967796,
  title = {Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits},
  author = {Pedro Orvalho and Marta Kwiatkowska and Mikoláš Janota and Vasco Manquinho},
  year = {2025},
  url = {https://arxiv.org/abs/2512.02898},
  note = {Source identifier: 2512.02898}
}