Fully automatic and precise detection of thread safety violations.

Michael Pradel Thomas R. Gross

Published in: PLDI (2012)

Keyphrases

fully automatic
fully automated
semi automatic
low contrast
mri data
detection method
object detection
detection algorithm
left ventricle
parameter free
manual annotation
image analysis
left ventricular