The Community for Technology Leaders
Green Image
Issue No. 05 - Sept.-Oct. (2008 vol. 25)
ISSN: 0740-7459
pp: 30-37
Michael Y. Levin , Microsoft Center for Software Excellence
Wolfram Schulte , Microsoft Research
Patrice Godefroid , Microsoft Research
Nikolai Tillmann , Microsoft Research
Peli de Halleux , Microsoft Research
Aditya V. Nori , Microsoft Research India
Sriram K. Rajamani , Microsoft Research India
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
Michael Y. Levin, Wolfram Schulte, Patrice Godefroid, Nikolai Tillmann, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani, "Automating Software Testing Using Program Analysis", IEEE Software, vol. 25, no. , pp. 30-37, Sept.-Oct. 2008, doi:10.1109/MS.2008.109
99 ms
(Ver )