Chang Rao

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 10

Top Topics

Safety Critical

Test Generation

High Speed Railway

Top Venues

Int. J. Appl. Math. Comput. Sci.

Publications

Xinhai Chen, Wei Liu, Chang Rao, Yu Zhang, Wanling Du
Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata. QRS Companion (2023)
Chang Rao, Nan Li, Yu Lei, Jin Guo, Yadong Zhang, Raghu N. Kacker, D. Richard Kuhn
Combinatorial Test Generation for Multiple Input Models With Shared Parameters. IEEE Trans. Software Eng. 48 (7) (2022)
Rui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System. ICST Workshops (2022)
Chang Rao, Nan Li, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Jin Guo
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array. ICST Workshops (2019)
Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li
Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. QRS (2018)
Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao
A Test Path Generation Method Based on SSM Models. QRS Companion (2018)
Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, YaXin Cao
Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. ICST Workshops (2017)
Yaya Liu, Keyun Qin, Chang Rao, Mahamuda Alhaji Mahamadu
Object-parameter approaches to predicting unknown data in an incomplete fuzzy soft set. Int. J. Appl. Math. Comput. Sci. 27 (1) (2017)
Chunfeng Hu, Jin Guo, Nan Li, Yao Li, Chang Rao, Siqi Liu
Towards Effective and Scalable Testing for Complex High-Speed Railway Signal Software. QRS Companion (2017)
Nan Li, Jin Guo, Jeff Lei, Yao Li, Chang Rao, YaXin Cao
Towards Agile Testing for Railway Safety-critical Software. XP Workshops (2016)