PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.

Gogul Balakrishnan, Malay K. Ganai

Browse the full SEFM paper archive.