@article{article, title = {{Model checking, testing and debugging}}, publisher = {{Wiley}}, url = {{}}, year = {{2021}}, month = {{12}}, author = {{Hierons RM and Xie T}}, doi = {{10.1002/stvr.1803}}, volume = {{32}}, journal = {{Software Testing, Verification and Reliability}}, issue = {{1}}, note = {{Accessed on 2025/04/05}}}