Sound and efficient concurrency bug prediction.

Yan Cai Hao Yun Jinqiu Wang Lei Qiao Jens Palsberg

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

prediction accuracy
prediction model
database systems
evolutionary algorithm
software systems
cost effective
computationally expensive
database
real world
data mining
artificial intelligence
information systems
multiscale
computationally efficient
inference rules
prediction algorithm