A True Positives Theorem for a Static Race Detector - Extended Version.

Nikos Gorogiannis Peter W. O'Hearn Ilya Sergey

Published in: CoRR (2018)

Keyphrases

genetic algorithm
detection algorithm
original version
machine learning
learning algorithm
decision trees
false positives