GARUDA: Heap aware symbolic execution.

Ajinkya Rajput Kanchi Gopinath

Published in: ICSE-Companion (2022)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
data structure
source code
data flow
test cases
data sets
orders of magnitude
artificial intelligence
case study
building blocks
development process
formal specification