Dongmei Dong, Yunyu Fang, Ying Chen. Application of Test Method Based on State Transition Diagram in Flight Control Software. In 6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020. pages 495-496, IEEE, 2019. [doi]
Abstract is missing.