Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Automated Test Generation (ATG)

We are conducting research on automating software testing using (static and dynamic) program analysis with the goal of building testing tools that are automatic, scalable and check many properties. Our work combines program analysis, testing, model checking and theorem proving.

Overview

We are conducting research on automating software testing using (static and dynamic) program analysis with the goal of building testing tools that are automatic, scalable and check many properties. Our work combines program analysis, testing, model checking and theorem proving.

Contact: Patrice Godefroid

Some Microsoft projects using our technology:

  • SAGE (internal; see): hunting for million-dollar security bugs in Microsoft products.
  • Pex: unit testing of .NET managed programs.
  • Yogi: testing and static analysis of Windows device drivers.
  • Vigilante: automatic generation of worm filters.

Recruiting Opportunities

We are looking for exceptional PhD candidates to join us as interns, any time of the year, though summer is the typical time for internships. For more information, please visit our internship website. In addition to applying via the internship website, please contact Patrice Godefroid with your application.

Related Groups

RiSE

Rigorous Software Engineering