Y Tian, B Yin, C Li - 2021 8th International Conference on …, 2021 - ieeexplore.ieee.org
In order to systematically generate sufficient test scenes for the spacecraft's controller
software, an automatic model-based test cases generation method is proposed in this …