Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang. Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software. In 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020. pages 213-218, IEEE, 2020. [doi]
Abstract is missing.