Ajinkya Rajput, Kanchi Gopinath. GARUDA: Heap aware symbolic execution. In 44th 2022 IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022. pages 352-353, IEEE, 2022. [doi]
Abstract is missing.