Fuzzing

Selectively Uniform Concurrency Testing
Buggy behaviors in concurrent programs are notoriously elusive, as they may manifest only in few of exponentially many possible thread …
Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
PDF
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