Strategies for scalable symbolic execution-driven test generation for programs |
| |
Authors: | KRISHNAMOORTHY Saparya HSIAO Michael S & LINGAPPAN Loganathan Intel Corporation Folsom CA USA |
| |
Affiliation: | KRISHNAMOORTHY Saparya 1,HSIAO Michael S.2 & LINGAPPAN Loganathan 1 1 Intel Corporation,Folsom CA 95630,USA,2 Department of Electrical and Computer Engineering,Virginia Polytechnic Institute and State University,Blacksburg VA 24061 |
| |
Abstract: | With the advent of advanced program analysis and constraint solving techniques,several test generation tools use variants of symbolic execution.Symbolic techniques have been shown to be very effective in path-based test generation;however,they fail to scale to large programs due to the exponential number of paths to be explored.In this paper,we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution,while exploring only a fraction... |
| |
Keywords: | test generation software testing symbolic execution path explosion conflict analysis |
本文献已被 CNKI 维普 等数据库收录! |
|