Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Yuqi Guo Shihao Zhu Yan Cai Liang He Jian Zhang

Published in: ICSE (2024)

Keyphrases

prediction accuracy
data structure
prediction algorithm
software systems
prediction error
artificial intelligence
database systems
source code
prediction model
information flow
information retrieval
genetic algorithm
databases
concurrency control
dynamic allocation