Grech, et al.. Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. no. OOPSLA, Association for Computing Machinery (ACM), Oct. 2017, doi:10.1145/3133892.