ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs

Sumit Padhiyar, K. C. Sivaramakrishnan. ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. In José F. Morales, Dominic A. Orchard, editors, Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Volume 12548 of Lecture Notes in Computer Science, pages 127-144, Springer, 2021. [doi]

Abstract

Abstract is missing.