Zain K. Aamer, Benjamin C. Pierce: Artifact for Bennet: Randomized Specification Testing for Heap-Manipulating Programs. Zenodo 2025