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]
@inproceedings{ChenYJJLGY20,
title = {Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software},
author = {Rui Chen and Tingting Yu and Yunsong Jiang and Chunpeng Jia and Chao Li and Dongdong Gao and Mengfei Yang},
year = {2020},
doi = {10.1109/DSA51864.2020.00038},
url = {https://doi.org/10.1109/DSA51864.2020.00038},
researchr = {https://researchr.org/publication/ChenYJJLGY20},
cites = {0},
citedby = {0},
pages = {213-218},
booktitle = {7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020},
publisher = {IEEE},
isbn = {978-0-7381-2422-3},
}