@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 2024/12/21}}}