Syllabus
❱
Week 1: Rust
❱
Week 2: Rust (Continued)
❱
Week 3: Fuzz Testing, Property-Based Testing, Symbolic Execution, and SAT/SMT
Week 5: Rust analyses
Week 6: Rust OSes
Week 7: Symbolic Execution
Week 8: Hybrid Fuzzing
Week 9: Formal Methods
Week 10: Formal Methods (Continued)
Week 11: Interactive Verification
Week 12: Automated Verification

CMPT 479/982

Week 7: Symbolic Execution

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Verifying Dynamic Trait Objects in Rust
SAGE: Whitebox Fuzzing for Security Testing
S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
Symbolic Execution with SymCC: Don’t Interpret, Compile!