| 2023 | QRS | Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata. | Xinhai Chen, Wei Liu, Chang Rao, Yu Zhang, Wanling Du |
| 2022 | ICST | Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System. | Rui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang |
| 2019 | ICST | Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array. | Chang Rao, Nan Li, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Jin Guo |
| 2018 | QRS | A Test Path Generation Method Based on SSM Models. | Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao |
| 2018 | QRS | Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. | Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li |
| 2017 | ICST | Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. | Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, YaXin Cao |
| 2017 | QRS | Towards Effective and Scalable Testing for Complex High-Speed Railway Signal Software. | Chunfeng Hu, Jin Guo, Nan Li, Yao Li, Chang Rao, Siqi Liu |