GARUDA: Heap aware symbolic execution

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

Abstract is missing.