Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu. Dynamically validating static memory leak warnings. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 112-122, ACM, 2013. [doi]
Abstract is missing.