data-storage-lab/Symbolic-Execution

Symbolic Execution

This project contains the collection of papers related to Symbolic Execution

• AGAMOTTO: How Persistent is your Persistent Memory Application? (OSDI'20)

• Chopped Symbolic Execution （ICSE‘18）

• Verifying Systems Rules Using Rule-Directed Symbolic Execution (ASPLOS'13, WOODPECKER)

• Scalable Testing of File System Checkers (EuroSys'12, SWIFT)

• SymDrive: Testing Drivers without Devices (OSDI'12, SymDrive)

• S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems (ASPLOS'11) Open Source

• All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) (S&P'10)

• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (OSDI'08) Open Source

Other Repos

This contains a list of symbolic execution resources (research papers, lectures, videos, tools) curated by Kasper Luckow

• Awesome-Symbolic-Execution