TY - JOUR T1 - Controllability Problems in MSC-Based Testing JO - The Computer Journal PY - 2012/01/01 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 - 2024/12/22 ER -