Fault-based refinement-testing for CSP

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Simao, A. (2019) Fault-based refinement-testing for CSP. Software Quality Journal.


Copyright, Publisher and Additional Information: © Springer Science+Business Media, LLC, part of Springer Nature 2019. 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.
  • Published (online): 21 March 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 26 Mar 2019 13:40
Last Modified: 02 Dec 2022 06:39
Published Version: https://doi.org/10.1007/s11219-018-9431-9
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1007/s11219-018-9431-9


Filename: CavalcantiSimao17.pdf

Description: CavalcantiSimao17

Share / Export