Memory Leaks Detection in Java by Bi-abductive Inference.

Dino Distefano, Ivana Filipovic

Browse the full FASE paper archive.