Exact Heap Summaries for Symbolic Execution

DOI10.1007/978-3-662-49122-5_10zbMath1475.68090OpenAlexW2294986739MaRDI QIDQ2796051

Neha Rungta, Benjamin Hillery, Suzette Person, Eric G. Mercer

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49122-5_10

zbMATH Keywords

symbolic executionconstraint-based reasoningsymbolic references

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

This page was built for publication: Exact Heap Summaries for Symbolic Execution