TY  - JOUR

T1  - Removing Redundant Refusals: Minimal Complete Test Suites for Failure

JO  - Information and Computation

PY  - 2023/01/16

AU  - Gazda M

AU  - Hierons R

ED  - 

PB  - Elsevier

Y2  - 2024/12/22

ER  -