mboehme

fuzzing software testing statistics effectiveness efficiency scalability publication process peer review preregistration bug finding testing effectiveness coverage experimental design benchmarking undecidability static analysis dast sast program analysis beginners foundations summer school automatic software testing exponential cost entropy testing efficiency information theory semi-automatic debugging debugging active learning automatic program repair hitl software security open challenges symbolic execution targeted vulnerability discovery greybox fuzzing singapore tud tu dresden graduate outreach internship soc mcomp phd nus