@article{article, title = {{Controllability Problems in MSC-Based Testing}}, publisher = {{Oxford 海角社区 Press (OUP)}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Dan H and Hierons RM}}, doi = {{10.1093/comjnl/bxr125}}, volume = {{55}}, journal = {{The Computer Journal}}, issue = {{11}}, pages = {{1270-1287}}, note = {{Accessed on 2025/03/13}}}