Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say

Devin Coughlin
Bor-Yuh Evan Chang
Jeremy Siek
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, pp. 276-286

Abstract

Research Areas