Implementation relations and testing for cyclic systems with refusals and discrete time

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170. 110738. ISSN 0164-1212

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2020 Elsevier Inc. This is an author produced version of a paper subsequently published in Journal of Systems and Software. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: Model-based testing; Implementation relations; Cyclic systems
Dates:
  • Accepted: 10 July 2020
  • Published (online): 13 July 2020
  • Published: December 2020
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCILEP/R025134/2
Depositing User: Symplectic Sheffield
Date Deposited: 13 Jul 2020 14:58
Last Modified: 13 Jul 2021 00:38
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.jss.2020.110738

Share / Export

Statistics