Greybox Fuzzing for Concurrency Testing.

Dylan Wolff Zheng Shi Gregory J. Duck Umang Mathur Abhik Roychoudhury

Published in: ASPLOS (2) (2024)

Keyphrases

database systems
concurrency control
real time
real world
data sets
computer vision
case study
three dimensional
relational databases
hidden markov models
software systems
statistical tests
software testing