Towards A Test Paths Generation Method for CTCS Level Transition LI Yao, ZHANG Xiaoxia, ZHANG Yadong, GUO Jin and GAO Hao MATEC Web Conf., 325 (2020) 01001 Published online: 22 October 2020 DOI: 10.1051/matecconf/202032501001