Dino Distefano, Ivana Filipovic
Memory Leaks Detection in Java by Bi-abductive Inference
FASE, 2010.
@inproceedings{FASE-2010-DistefanoF, author = "Dino Distefano and Ivana Filipovic", booktitle = "{Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-642-12029-9_20", isbn = "978-3-642-12028-2", pages = "278--292", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Memory Leaks Detection in Java by Bi-abductive Inference}", volume = 6013, year = 2010, }