Lakhotia, K., McMinn, P. and Harman, M. (2010) An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. Journal of Systems and Software, 83 (12). pp. 2379-2391. ISSN 0164-1212
Abstract
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testing. This paper reports the results of an empirical study using the dynamic symbolic-execution tool. CUTE, and a search based tool, AUSTIN on five non-trivial open source applications. The aim is to provide practitioners with an assessment of what can be achieved by existing techniques with little or no specialist knowledge and to provide researchers with baseline data against which to measure subsequent work. To achieve this, each tool is applied 'as is', with neither additional tuning nor supporting harnesses and with no adjustments applied to the subject programs under test. The mere fact that these tools can be applied 'out of the box' in this manner reflects the growing maturity of Automated test data generation. However, as might be expected, the study reveals opportunities for improvement and suggests ways to hybridize these two approaches that have hitherto been developed entirely independently. (C) 2010 Elsevier Inc. All rights reserved.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2010 Elsevier. This is an author produced version of a paper subsequently published in Journal of Systems and Software. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Automated test data generation; Search based testing; Concolic testing; Symbolic execution |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Miss Anthea Tucker |
Date Deposited: | 07 Jan 2011 11:05 |
Last Modified: | 08 Feb 2013 17:30 |
Published Version: | http://dx.doi.org/10.1016/j.jss.2010.07.026 |
Status: | Published |
Publisher: | Elsevier |
Refereed: | Yes |
Identification Number: | 10.1016/j.jss.2010.07.026 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:42735 |