Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek. Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 276-286, ACM, 2012. [doi]
Abstract is missing.