Exact Heap Summaries for Symbolic Execution (Q2796051)

From MaRDI portal
Revision as of 16:45, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Exact Heap Summaries for Symbolic Execution
scientific article

    Statements

    title
    Exact Heap Summaries for Symbolic Execution (English)
    0 references
    author
    Benjamin Hillery
    0 references
    Eric G. Mercer
    0 references
    Neha Rungta
    0 references
    Suzette Person
    0 references
    publication date
    23 March 2016
    0 references
    zbMATH Keywords
    symbolic execution
    0 references
    symbolic references
    0 references
    constraint-based reasoning
    0 references

    Identifiers

    zbMATH DE Number
    6559859
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2796051&oldid=15686347"
    Powered by MediaWiki