A verified and optimized Stream X-Machine testing method, with application to cloud service certification

Simons, A. orcid.org/0000-0002-5925-7148 and Lefticaru, R. (2020) A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability. e1729. ISSN 0960-0833

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: ©2020 The Authors. Software Testing, Verification & Reliability published by John Wiley & Sons Ltd. This is an open access article under the terms of the Creative Commons Attribution License, (http://creativecommons.org/licenses/by/4.0/) which permits use, distribution and reproduction in any medium, provided the original work is properly cited.
Keywords: state-based testing; X-machines; specification; verification; functional testing; cloud computing; cloud service broker; service certification; test grounding
Dates:
  • Accepted: 15 December 2019
  • Published (online): 18 February 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
EUROPEAN COMMISSION - FP6/FP7BROKER@CLOUD - 318392
Depositing User: Symplectic Sheffield
Date Deposited: 03 Jan 2020 12:46
Last Modified: 20 Feb 2020 14:25
Status: Published online
Publisher: Wiley
Refereed: Yes
Identification Number: https://doi.org/10.1002/stvr.1729

Share / Export

Statistics