A dynamic predictive race detector for C/C++ programs.

Peng Luo Deqing Zou Hai Jin Yajuan Du Jinan Shen

Published in: J. Supercomput. (2017)

Keyphrases

dynamic environments
search algorithm
database
three dimensional
dynamically changing
data sets
data structure