TY - JOUR T1 - A verified and optimized Stream X鈥怣achine testing method, with application to cloud service certification JO - Software Testing, Verification and Reliability UR - https://eprints.whiterose.ac.uk/154925/ PY - 2020/04/17 AU - Simons A AU - Lefticaru R ED - DO - DOI: 10.1002/stvr.1729 PB - Wiley VL - 30 IS - 3 Y2 - 2025/05/28 ER -