@article{article, title = {{Testing using CSP Models: Time, Inputs, and Outputs.}}, url = {{}}, year = {{2023}}, month = {{4}}, author = {{Baxter J and Cavalcanti A and Gazda M and Hierons RM}}, volume = {{24}}, journal = {{ACM Trans. Comput. Log.}}, pages = {{17:1-17:1}}, note = {{Accessed on 2025/08/22}}}