Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Automated Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, and Nikolai Tillmann


During the last ten years, code inspection for standard programming errors has largely been automated with static code analysis. During the next ten years, we believe we will see similar progress in automating testing, and specifically test generation, thanks to advances in program analysis, efficient constraint solvers and powerful computers. We present an overview of several related projects currently under way at Microsoft.


Publication typeArticle
Published inIEEE Software
PublisherIEEE Computer Society
> Publications > Automated Software Testing Using Program Analysis