@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 2024/10/23}}}