Symbolic Execution Courses
Strange Loop Conference via YouTube PLSE Seminar Series - Willem Visser, "An Analytical Perspective on Mutations and Coverage"
Paul G. Allen School via YouTube Symbolically Executing a Fuzzy Tyrant
YouTube Automating Windows Kernel Analysis With Symbolic Execution
YouTube Finding Vulnerabilities in Your Codebase Using Open Source Tools
Ubuntu OnAir via YouTube Program Repair for Hyperproperties
Simons Institute via YouTube Pattern Explorer Tool for Testing CEP Patterns
HyperComplex Seminar via YouTube Rethinking Unit Testing: Automating the Generation of Java Tests
GeeCON Conference via YouTube Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24
ACM SIGPLAN via YouTube Unified Compositional Symbolic Execution - N40AI'24
ACM SIGPLAN via YouTube