Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations.

Sarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger, Alexey Ignatiev

Browse the full CAV paper archive.