Fuzzing

Greybox Fuzzing for Concurrency Testing
Uncovering bugs in concurrent programs is a challenging problem owing to the exponentially large search space of thread interleavings. …
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
PDF Cite DOI
Optimistic Prediction of Synchronization-Reversal Data Races
Dynamic data race detection has emerged as a key technique for ensuring reliability of concurrent software in practice. However, …
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
PDF Cite DOI