September 15, 2025

Patrick’s paper on automatically repairing coverage gaps in PBT input generators has been accepted to OOPSLA’25. Congrats to all the authors!