TY  - JOUR

T1  - Model checking, testing and debugging

JO  - Software Testing, Verification and Reliability

PY  - 2021/12/05

AU  - Hierons RM

AU  - Xie T

ED  - 

DO  - DOI: 10.1002/stvr.1803

PB  - Wiley

VL  - 32

IS  - 1

Y2  - 2024/12/22

ER  -