Compositional symbolic execution semantics

This publication has 9 references indexed in Scilit:

• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
  ACM Transactions on Programming Languages and Systems, 2024
• A formal foundation for symbolic evaluation with merging
  Proceedings of the ACM on Programming Languages, 2022
• Symbolic execution formally explained
  Formal Aspects of Computing, 2021
• The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
  International Journal on Software Tools for Technology Transfer, 2018
• A generic framework for symbolic execution: A coinductive approach
  Journal of Symbolic Computation, 2017
• Symbolic execution for software testing
  Communications of the ACM, 2013
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Symbolic execution: a semantic approach
  Science of Computer Programming, 1991
• An axiomatic basis for computer programming
  Communications of the ACM, 1969