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)

zbMATH Keywords

correctness of symbolic executiondenotational semantics of symbolic execution

Mathematics Subject Classification ID

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

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

(16)

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

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)