Inputs and outputs in CSP : a model and a testing theory

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Hierons, Robert M. and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic. 24. ISSN 1529-3785

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2020 Association for Computing Machinery. 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:
  • Accepted: 9 March 2020
  • Published: May 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Mar 2020 14:00
Last Modified: 25 Nov 2021 01:19
Published Version: https://doi.org/10.1145/3379508
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1145/3379508

Download

Filename: acm_tocl.pdf

Description: Inputs and outputs in CSP: a model and a testing theory

Share / Export

Statistics