A verified and optimized Stream X-Machine testing method, with application to cloud service certification
Cloud service broker
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.