Automated Software Testing Using Program Analysis
- Patrice Godefroid ,
- Peli de Halleux ,
- Aditya Nori ,
- Sriram Rajamani ,
- Wolfram Schulte ,
- Nikolai Tillmann ,
- Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools |
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.
Copyright © 2007 IEEE. Reprinted from IEEE Computer Society.This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org.By choosing to view this document, you agree to all provisions of the copyright laws protecting it.