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.

Metadata

Item Type: Article
Authors/Creators:
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.

Dates:
  • 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: 08 Jan 2025 00:08
Published Version: https://doi.org/10.1007/s11219-018-9431-9
Status: Published online
Refereed: Yes
Identification Number: 10.1007/s11219-018-9431-9
Open Archives Initiative ID (OAI ID):

Download

Filename: CavalcantiSimao17.pdf

Description: CavalcantiSimao17

Export

Statistics