Zhiqin Cao

According to our database, Zhiqin Cao authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

EFSM Test Data Generation Based on Fault Propagation and Multi-Population Genetic Algorithm.

Zhiqin Cao, Yichen Wang, Peng Guo, Bo Tian

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

An Empirical Study of Open Source Flight Control Software Program Model Checking.

Zhiqin Cao, Jinyu Yin, Yichen Wang, Yu Li, Jintao Zhang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019