TY  - JOUR

T1  - A verified and optimized Stream X‐Machine 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  - 2024/12/25

ER  -