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.
Some Microsoft projects using our technology:
- SAGE: 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.
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.