@inproceedings{inproceedings, title  = {{Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics}},

 publisher = {{IEEE}},

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

 year = {{2021}},

 month = {{7}},

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

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

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

 note = {{Accessed on 2024/12/22}}}