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

 publisher = {{IEEE}},

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

 year = {{2021}},

 month = {{7}},

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

 doi = {{10.1109/LICS52264.2021.9470737}},

 isbn = {{9781665448963}},

 journal = {{2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}},

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