Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software

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]

Authors

Rui Chen

This author has not been identified. Look up 'Rui Chen' in Google

Tingting Yu

This author has not been identified. Look up 'Tingting Yu' in Google

Yunsong Jiang

This author has not been identified. Look up 'Yunsong Jiang' in Google

Chunpeng Jia

This author has not been identified. Look up 'Chunpeng Jia' in Google

Chao Li

This author has not been identified. Look up 'Chao Li' in Google

Dongdong Gao

This author has not been identified. Look up 'Dongdong Gao' in Google

Mengfei Yang

This author has not been identified. Look up 'Mengfei Yang' in Google