Issue No. 05 - Sept.-Oct. (2008 vol. 25)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2008.109
Patrice Godefroid , Microsoft Research
Peli de Halleux , Microsoft Research
Aditya V. Nori , Microsoft Research India
Sriram K. Rajamani , Microsoft Research India
Wolfram Schulte , Microsoft Research
Nikolai Tillmann , Microsoft Research
Michael Y. Levin , Microsoft Center for Software Excellence
During the last 10 years, code inspection for standard programming errors has largely been automated with static code analysis. During the next 10 years, we expect to see similar progress in automating testing, and specifically test generation, thanks to advances in program analysis, efficient constraint solvers, and powerful computers. Three new tools from Microsoft combine techniques from static program analysis, dynamic analysis, model checking, and automated constraint solving while targeting different application domains.
Software Testing, Automatic Test Generation, Program Verification, Reliability, Security
M. Y. Levin et al., "Automating Software Testing Using Program Analysis," in IEEE Software, vol. 25, no. , pp. 30-37, 2008.