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
Download Google Scholar Copy Bibtex

Abstract

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

Research Areas

Software Engineering

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

Our Research Philosophy