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

View/ Open
Lefticaru_JSTVR.pdf (1.661Mb)
Download
Publication date
2020-05Keyword
State-based testingX-machines
Specification
Verification
Functional testing
Cloud computing
Cloud service broker
Service certification
Test grounding
Rights
©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, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.Peer-Reviewed
Yes