Rajput, A and Gopinath, K
(2022)
GARUDA: Heap aware symbolic execution.
In: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022, 22 - 27 May 2022, Pittsburgh, pp. 352-353.
This list was generated on Mon Feb 3 12:05:53 2025 IST.
