Debugging and Fuzzing Lecture Winter Semester 2024 / 2025
Organization
- Responsible: Prof. Dr. Armin Biere
- Support: Bernhard Gstrein
News
Exercise classes on Tuesday, 14:15 - 15:45, G.-Köhler-Allee 101, SR 00-010/14.
Lecture on Friday, 14:15 - 15:45, G.-Köhler-Allee 101, SR 00-010/14.
We plan to have some hands-on assignment for the exercises: Last year’s topic was fuzzing the GGUF format and MaxSAT the year before.
Details will be discussed in the first exercise class on October 15.
Goals
Introduction into debugging and fuzzing technology.
Slides, Zoom link, recordings and background material is made available through ILIAS.
Supplementary Material
TBD