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

Item Type: Article
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: 20 Sep 2025 01:10
Published Version: https://doi.org/10.1145/3379508
Status: Published
Refereed: Yes
Identification Number: 10.1145/3379508
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: acm_tocl.pdf

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

CLICK TO DOWNLOAD [thumbnail of Inputs and outputs in CSP: a model and a testing theory]

Export

Statistics


CORE (COnnecting REpositories)