Removing redundant refusals: minimal complete test suites for failure trace semantics

Gazda, M. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Removing redundant refusals: minimal complete test suites for failure trace semantics. Information and Computation, 291. 105009. ISSN 0890-5401

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

Keywords: process semantics; refusal trace semantics; complete test suite
Dates:
  • Published: March 2023
  • Published (online): 25 January 2023
  • Accepted: 18 January 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL
EP/R025134/2
Depositing User: Symplectic Sheffield
Date Deposited: 23 Jan 2023 14:59
Last Modified: 03 Feb 2023 13:28
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: 10.1016/j.ic.2023.105009
Open Archives Initiative ID (OAI ID):

Export

Statistics