../
Software Analysis
Slide Notes
- 20260128T080217-course_intro
- 20260128T081950-testing_landscape
- 20260128T091816-automated_testing
- 20260128T094708-program_representation
- 20260217T155505-building_own_fuzzer_and_equivalence
- 20260217T161114-symbolic_and_concolic_execution
- 20260314T132510-sa_slides_mutation
- 20260314T135916-sa_slides_oracle
- 20260317T044023-sa_slides_fault_isolation