TACAS 2017Directed Automated Memory Performance TestingSudipta ChattopadhyayDOI 10.1007/978-3-662-54580-5_3dblpBibTeXNo abstract available.