@article{article, title = {{A verified and optimized Stream X鈥怣achine testing method, with application to cloud service certification}}, publisher = {{Wiley}}, url = {{https://eprints.whiterose.ac.uk/154925/ }}, year = {{2020}}, month = {{4}}, author = {{Simons A and Lefticaru R}}, doi = {{10.1002/stvr.1729}}, volume = {{30}}, journal = {{Software Testing, Verification and Reliability}}, issue = {{3}}, note = {{Accessed on 2025/05/26}}}