2026-01-01

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

Scribe Notes

• 2026-01-12

Readings

2026-02-02

• tianDeepTestAutomatedTesting2018
• manesArtScienceEngineering2021

2026-01-21

• millerEmpiricalStudyReliability1990

2026-01-12

• bertolinoSoftwareTestingResearch2007
• 20250908T162430-how_to_read_a_paper