Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.

Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek

Browse the full ISSTA paper archive.