Explaining Counterexamples Using Causality.

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler

Browse the full CAV paper archive.