C11Tester: a race detector for C/C++ atomics.

Weiyu Luo Brian Demsky

Published in: ASPLOS (2021)

Keyphrases

black box
test cases
detection algorithm
object recognition
artificial neural networks
detection method
matched filter
real time
image processing
database systems
expert systems
negative selection algorithm