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/173724/

PY  - 2021/07/07

AU  - Gazda M

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/lics52264.2021.9470737

PB  - IEEE

Y2  - 2024/12/22

ER  -