Formal mutation testing for Circus

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


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
  • 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: 06 Dec 2023 11:26
Published Version:
Status: Published online
Refereed: Yes
Identification Number:


Filename: MutationCircus.pdf

Description: MutationCircus