Hooimeijer, Livshits, Molnar, Saxena, Veanes, 2011. Fast and Precise Sanitizer Analysis with BEK, in: .