White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

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


Download (496Kb)


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.

Item Type: Article
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
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
URI: http://eprints.whiterose.ac.uk/id/eprint/42735

Actions (repository staff only: login required)