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/21 ER -