Symbolic execution: A semantic approach

DOI10.1016/0167-6423(91)90008-LMaRDI QIDQ1183549zbMATH OpenFDO

Authors Ralf Kneuper

Publication date 28 June 1992

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(91)90008-L

zbMATH Keywords

correctness of symbolic executiondenotational semantics of symbolic execution

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Symbolic computation and algebraic computation (68W30)

Recommendations

• Symbolic execution formally explained
• Symbolic execution based on language transformation
• Symbolic execution as DPLL modulo theories
• Symbolic Semantics and Program Reduction
• Efficient loop navigation for symbolic execution

Cited in

(18)

• Symbolic execution based on language transformation
• Symbolic execution formally explained
• The application of hypergroups in symbolic executions and finite automata
• Embedded software verification using symbolic execution and uninterpreted functions
• Performance estimation using symbolic data
• Efficient loop navigation for symbolic execution
• Unisex: A unix-based symbolic executor for pascal
• Symbolic Semantics and Program Reduction
• Executable semantic descriptions
• A generic framework for symbolic execution: a coinductive approach
• Symbolic execution as DPLL modulo theories
• Concolic execution in functional programming by program instrumentation
• Model Checking Software
• Symbolic liveness analysis of real-world software
• On the nature of symbolic execution
• Constraints in dynamic symbolic execution: bitvectors or integers?
• Denotational semantics for symbolic execution
• Compositional symbolic execution semantics

This page was built for publication: Symbolic execution: A semantic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183549)