"Generating sound and effective memory debuggers."

Yan Wang, Iulian Neamtiu, Rajiv Gupta (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics