Zhiqin Cao

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Dynamic Optimization

Control Software

Generation Algorithm

Finite State Machines

Top Venues

Publications

Zhiqin Cao, Yichen Wang, Peng Guo, Bo Tian
EFSM Test Data Generation Based on Fault Propagation and Multi-Population Genetic Algorithm. DSA (2020)
Zhiqin Cao, Jinyu Yin, Yichen Wang, Yu Li, Jintao Zhang
An Empirical Study of Open Source Flight Control Software Program Model Checking. QRS Companion (2019)