TY  - CONF

T1  - Removing redundant refusals: minimal complete test suites for failure trace semantics

JO  - 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

UR  - https://eprints.whiterose.ac.uk/id/eprint/173724

PY  - 2021/07/07

AU  - Gazda M

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/LICS52264.2021.9470737

PB  - IEEE

SN  - 9781665448963

Y2  - 2025/11/05

ER  -