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

Abstract

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.

Details

Publication typeArticle
Published inIEEE Software
URLhttp://dx.doi.org/10.1109/MS.2008.109
PublisherIEEE Computer Society
> Publications > Automated Software Testing Using Program Analysis