An Empirical Study of Open Source Flight Control Software Program Model Checking. - Zhiqin Cao; Jinyu Yin; Yichen Wang; Yu Li; Jintao Zhang (QRS Companion, 2019)

EFSM Test Data Generation Based on Fault Propagation and Multi-Population Genetic Algorithm. - Zhiqin Cao; Yichen Wang; Peng Guo; Bo Tian (DSA, 2020)