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

Cavalcanti, A. L. C., 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


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.
  • 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: 06 Dec 2023 13:36
Published Version:
Status: Published
Refereed: Yes
Identification Number:


Filename: acm_tocl.pdf

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