Google Research

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

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

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work