TY  - JOUR

T1  - Property generation/verification and empirical studies

JO  - Software Testing, Verification and Reliability

PY  - 2021/11/08

AU  - Hierons RM

AU  - Xie T

ED  - 

DO  - DOI: 10.1002/stvr.1800

PB  - Wiley

VL  - 31

IS  - 8

Y2  - 2024/12/23

ER  -