Teng Li, Kaicheng Li, Jidong Lv, Lei Yuan, Qiang Fu, Tao Wen. Mutation Testing for Evaluating the Completeness of Test Cases in High-Speed Train Control System. In IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015. pages 777-782, IEEE, 2015. [doi]