Static race detection for device drivers: the Goblint approach.

Vesal Vojdani Kalmer Apinis Vootele Rõtov Helmut Seidl Varmo Vene Ralf Vogler

Published in: ASE (2016)

Keyphrases

detection scheme
detection algorithm
object detection
detection method
automatic detection
false alarms
detection accuracy
key factors
case study
event detection