Formal mutation testing for Circus

Alberto, A., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Gaudel, M.-C. et al. (1 more author) (2016) Formal mutation testing for Circus. Information and Software Technology. pp. 1-23. ISSN 0950-5849

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

©2016, Elsevier B.V. All rights reserved. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. Embargo period : 12 months
Dates:
  • Accepted: 4 April 2016
  • Published (online): 21 April 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 22 Jul 2016 10:48
Last Modified: 11 Apr 2025 23:08
Published Version: https://doi.org/10.1016/j.infsof.2016.04.003
Status: Published online
Refereed: Yes
Identification Number: 10.1016/j.infsof.2016.04.003
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: MutationCircus.pdf

Description: MutationCircus

CLICK TO DOWNLOAD [thumbnail of MutationCircus]

Export

Statistics


CORE (COnnecting REpositories)