Mutation Model-Based Test Case Generation of Chinese Train Control System with Automatic Train Operation Function | IEEE Conference Publication | IEEE Xplore