Linked Presentation: SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow AnalysisLinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
