Mutation Testing for Evaluating the Completeness of Test Cases in High-Speed Train Control System | IEEE Conference Publication | IEEE Xplore