Ruidong Han, Siqi Ma, Juanru Li, Surya Nepal, David Lo 0001, Zhuo Ma, Jianfeng Ma 0001. Range Specification Bug Detection in Flight Control System Through Fuzzing. IEEE Trans. Software Eng., 50(3):461-473, March 2024. [doi]
@article{HanMLNLMM24,
title = {Range Specification Bug Detection in Flight Control System Through Fuzzing},
author = {Ruidong Han and Siqi Ma and Juanru Li and Surya Nepal and David Lo 0001 and Zhuo Ma and Jianfeng Ma 0001},
year = {2024},
month = {March},
doi = {10.1109/TSE.2024.3354739},
url = {https://doi.org/10.1109/TSE.2024.3354739},
researchr = {https://researchr.org/publication/HanMLNLMM24},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {50},
number = {3},
pages = {461-473},
}