Semantic Fault Localization and Suspiciousness Ranking.

Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz

Browse the full TACAS paper archive.