@article{article, title = {{Property generation/verification and empirical studies}}, publisher = {{Wiley}}, url = {{}}, year = {{2021}}, month = {{11}}, author = {{Hierons RM and Xie T}}, doi = {{10.1002/stvr.1800}}, volume = {{31}}, journal = {{Software Testing, Verification and Reliability}}, issue = {{8}}, note = {{Accessed on 2025/05/23}}}