Towards A Test Paths Generation Method for CTCS Level TransitionLI Yao, ZHANG Xiaoxia, ZHANG Yadong, GUO Jin and GAO HaoMATEC Web Conf., 325 (2020) 01001DOI: https://doi.org/10.1051/matecconf/202032501001
