Spectrum-Based Fault Localization for Logic-Based Reasoning.

Ingo Pill, Franz Wotawa

Browse the full ISSRE paper archive.