Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).

Julia Gabet Nobuko Yoshida

Published in: CoRR (2020)

Keyphrases

detection algorithm
false positives
false alarms
object detection
detection method
automatic detection
genetic algorithm
artificial intelligence
event detection
detection accuracy
relational databases
wireless sensor networks
automated detection
mutual exclusion