Spectrum-Based Fault Localization for Logic-Based Reasoning

Ingo Pill, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive reasoning for isolating faults. Such models often only aggregate knowledge about which inputs and faults would have this or that effect on the system. Like in property-based system design or formal verification, we have that the quality of the resulting reasoning process depends heavily on this logic model. Since logic descriptions are not entirely intuitive to formulate and automated processes to derive them are prone to be incomplete, we'd certainly be interested in assessing a model's quality and isolate issues. In this paper, we're proposing to use test cases and spectrum-based fault localization for this task, drawing on the flexibility and ease-of-use of such a spectrum-based concept. Focusing on logic models formulated in propositional Horn-clauses, we provide examples that show the attractiveness of our concept.

Original languageEnglish
Title of host publicationProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
PublisherInstitute of Electrical and Electronics Engineers
Number of pages8
ISBN (Electronic)9781538694435
Publication statusPublished - 16 Nov 2018
Event29th IEEE International Symposium on Software Reliability Engineering Workshops: ISSREW 2018 - Memphis, United States
Duration: 15 Oct 201818 Oct 2018


Conference29th IEEE International Symposium on Software Reliability Engineering Workshops
Country/TerritoryUnited States


  • automated debugging
  • debugging of logic programs
  • spectrum-based fault localization

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality


Dive into the research topics of 'Spectrum-Based Fault Localization for Logic-Based Reasoning'. Together they form a unique fingerprint.

Cite this