Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.

Ankit Choudhary Shan Lu Michael Pradel

Published in: ICSE (2017)

Keyphrases

cost effective
detection method
detection accuracy
automatic detection
data sets
test suite
false alarms
object detection
detection algorithm
lightweight
computationally expensive
multi agent
decision trees
image processing
search engine
genetic algorithm
neural network