Chang Rao

Orcid: 0000-0003-4147-0124

According to our database1, Chang Rao authored at least 10 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022
Combinatorial Test Generation for Multiple Input Models With Shared Parameters.
IEEE Trans. Software Eng., 2022

Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2019
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018
Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

A Test Path Generation Method Based on SSM Models.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017
Object-parameter approaches to predicting unknown data in an incomplete fuzzy soft set.
Int. J. Appl. Math. Comput. Sci., 2017

Towards Effective and Scalable Testing for Complex High-Speed Railway Signal Software.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Towards Agile Testing for Railway Safety-critical Software.
Proceedings of the Scientific Workshop Proceedings of XP2016, 2016


  Loading...