Title: Automating Software Testing Using Program Analysis
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.
Publication Year: 2008
Publication Date: 2008-09-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 119
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot