Google Research

Parallel Test Generation and Execution with Korat

  • Sasa Misailovic
  • Aleksandar Milicevic
  • Nemanja Petrovic
  • Sarfraz Khurshid
  • Darko Marinov
Proc. 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM, Dubrovnik, Croatia (2007)


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