Artifact for Symbolic Execution for Randomized Programs
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2022. Source code for Plinko and our modified version of KLEE can be found in the "plinko" and "klee" directories, respectively. Source code for the case studies and scripts to recreate the experimental results found in the paper are in the "experiments" directory. Instructions for how to build Plinko and run the experiments can be found in the "artifact_overview.pdf" document.