Reading group on symbolic execution, program analysis, and related topics.
- Memory Models in Symbolic Execution: Key Ideas and New Thoughts
- A Precise and Abstract Memory Model for C Using Symbolic Values
- Gillian: Foundations, Implementation, and Applications of Compositional Symbolic Execution (PhD Thesis)
- Generalized Symbolic Execution for Model Checking and Testing
- Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
- Guiding Symbolic Execution with A-star
- Compositional Dynamic Test Generation
- Demand-Driven Compositional Symbolic Execution
- Compositional Symbolic Execution with Memoized Replay
- Compiling symbolic execution with staging and algebraic effects
- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
- AddressSanitizer: A Fast Address Sanity Checker
- Chopped Symbolic Execution
- Symbolic Execution for Software Testing: Three Decades Later