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/21 ER -