TY - JOUR T1 - Controllability Problems in MSC-Based Testing JO - The Computer Journal UR - https://doi.org/10.1093/comjnl/bxr125 PY - 2011/12/22 AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1093/comjnl/bxr125 PB - Oxford University Press (OUP) VL - 55 IS - 11 SP - 1270 EP - 1287 Y2 - 2025/11/05 ER -