Debug-localize-repair: a symbiotic construction for heap manipulations - Verma, Sahil; Roy, Subhajit (Formal Methods in System Design: An International Journal, 2022)