The Community for Technology Leaders
Green Image
Issue No. 05 - Sept.-Oct. (2008 vol. 25)
ISSN: 0740-7459
pp: 30-37
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
ABSTRACT
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.
INDEX TERMS
Software Testing, Automatic Test Generation, Program Verification, Reliability, Security
CITATION

M. Y. Levin et al., "Automating Software Testing Using Program Analysis," in IEEE Software, vol. 25, no. , pp. 30-37, 2008.
doi:10.1109/MS.2008.109
94 ms
(Ver 3.3 (11022016))