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 9 1Ãâ·Ñ°æÏ Press (OUP) VL - 55 IS - 11 SP - 1270 EP - 1287 Y2 - 2025/12/17 ER -