https://github.com/filipeom/reading-group

https://github.com/filipeom/reading-group

Last synced: about 16 hours ago
JSON representation

• Host: GitHub
• URL: https://github.com/filipeom/reading-group
• Owner: filipeom
• Created: 2024-06-03T14:31:30.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-06-21T09:49:54.000Z (5 months ago)
• Last Synced: 2024-06-22T03:02:06.778Z (5 months ago)
• Size: 1.35 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Reading Group

Reading group on symbolic execution, program analysis, and related topics.

## Papers

#### Memory Models

- [Memory Models in Symbolic Execution: Key Ideas and New Thoughts](papers/memsight.pdf)

- [A Precise and Abstract Memory Model for C Using Symbolic Values](papers/C_memory_model.pdf)

- [Gillian: Foundations, Implementation, and Applications of Compositional Symbolic Execution (PhD Thesis)](papers/Gillian_submission.pdf)

- [Generalized Symbolic Execution for Model Checking and Testing](papers/gse_2003.pdf)

#### Search Strategies

- [Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding](papers/SymbolicExecCoverageDriven_2024.pdf)

- [Guiding Symbolic Execution with A-star](papers/SymbolicExecAStar_2023.pdf)

#### Refile

- [Compositional Dynamic Test Generation](papers/godefroid_2007.pdf)

- [Demand-Driven Compositional Symbolic Execution](papers/anad_godefroid_2008.pdf)

- [Compositional Symbolic Execution with Memoized Replay](papers/SymbolicExecMemoisedReplay_2015.pdf)

- [Compiling symbolic execution with staging and algebraic effects](papers/staging.pdf)

- [Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?](papers/intbv-tap-2019.pdf)

- [AddressSanitizer: A Fast Address Sanity Checker](papers/)

- [Chopped Symbolic Execution](papers/chopper-icse-2018.pdf)

- [Symbolic Execution for Software Testing: Three Decades Later](papers/)