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

Abstract

Metadata

Authors/Creators:
  • Lakhotia, K.
  • McMinn, P.
  • Harman, M.
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

Download

Filename: McMinn_42735.pdf

Share / Export

Statistics