Do, T. A., Fong, A.C.M. and Pears, R. (2012) Scalable automated test generation using coverage guidance and random search. In: 7th International Workshop on Automation of Software Test (AST), Zurich, 2-3 June 2012, pp. 71-75. (doi: 10.1109/IWAST.2012.6228993)
Full text not currently available from Enlighten.
Publisher's URL: http://dx.doi.org/10.1109/IWAST.2012.6228993
Abstract
Dynamic symbolic execution has been shown to be an effective technique for automated test input generation. When applied to large-scale programs, its scalability however is limited due to the combinatorial explosion of the path space and the high cost of computation. Several sophisticated search strategies have been proposed to better guide dynamic symbolic execution towards achieving high code coverage. While confirmed effective, these techniques may deteriorate in practical situations because of the large computation cost involved. In this paper, we propose a search heuristic which is directed by coverage information and interleaved with random search to perform dynamic symbolic execution for coverage improvements and cost-effectiveness. We conducted two evaluations to evaluate the effectiveness of our proposed approach and to study the impact of computation costs on its practical capabilities.
Item Type: | Conference Proceedings |
---|---|
Additional Information: | Print ISBN: 9781467318211 |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Fong, Dr Alvis Cheuk Min |
Authors: | Do, T. A., Fong, A.C.M., and Pears, R. |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record