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.
Some Recent Publications
- Automating Software Testing Using Program Analysis, P. Godefroid, P. de Halleux, M. Y. Levin, A. V. Nori, S. K. Rajamani, W. Schulte, N. Tillmann, IEEE Software
- Active Property Checking, P. Godefroid, M. Y. Levin, D. Molnar, EMSOFT 2008
- Testing for Buffer Overflows with Length Abstraction, R-G. Xu, P. Godefroid, R. Majumdar, ISSTA 2008
- Finding Errors in .NET with Feedback-Directed Random Testing, C. Pacheco, S. K. Lahiri, T. Ball, ISSTA 2008
- Grammar-based Whitebox Fuzzing, P. Godefroid, A. Kiezun, M. Y. Levin, PLDI 2008
- Demand-Driven Compositional Symbolic Execution, S. Anand, P. Godefroid, N. Tillmann, TACAS 2008
- Automated Whitebox Fuzz Testing, P. Godefroid, M. Y. Levin, D. Molnar, NDSS 2008
- Compositional Dynamic Test Generation, P. Godefroid, POPL 2007
- Feedback-directed Random Test Generation, C. Pacheco, S. K. Lahiri, M. Ernst, T. Ball, ICSE 2007
MSR Technical Reports
- N/A
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
Center for Software Excellence
