Fuzzing with automatically controlled interleavings to detect concurrency bugs.

Youngjoo Ko Bin Zhu Jong Kim

Published in: J. Syst. Softw. (2022)

Keyphrases

automatically detected
detection method
software systems
detection algorithm
database systems
automatic detection
artificial intelligence
concurrency control
neural network
case study
open source
source code
test cases