ºÝºÝߣ

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