ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. - Sumit Padhiyar; K. C. Sivaramakrishnan (PADL, 2021)