TY  - JOUR

T1  - Model checking, testing and debugging

JO  - Software Testing, Verification and Reliability

UR  - https://doi.org/10.1002/stvr.1803

PY  - 2021/12/05

AU  - Hierons RM

AU  - Xie T

ED  - 

DO  - DOI: 10.1002/stvr.1803

PB  - Wiley

VL  - 32

IS  - 1

Y2  - 2025/11/05

ER  -