@article{article, title  = {{Removing redundant refusals: minimal complete test suites for failure trace semantics}},

 publisher = {{Elsevier}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/195351 }},

 year = {{2023}},

 month = {{1}},

 author = {{Gazda M and Hierons R}},

 doi = {{10.1016/j.ic.2023.105009}},

 volume = {{291}},

 journal = {{Information and Computation}},

 note = {{Accessed on 2025/11/05}}}