C11Tester: A Race Detector for C/C++ Atomics Technical Report.

Weiyu Luo Brian Demsky

Published in: CoRR (2021)

Keyphrases

technical report
black box
databases
neural network
detection method
test cases
database
information retrieval
expert systems
multiresolution
software testing