TY - JOUR T1 - Model independent refusal trace testing JO - Science of Computer Programming UR - https://eprints.whiterose.ac.uk/id/eprint/214702 PY - 2025/01/01 AU - Gazda M AU - Hierons RM ED - PB - Elsevier Y2 - 2024/09/19 ER -