Zuocheng Feng, Yiming Chen, Kaiwen Zhang 0010, Xiaofeng Li 0005, GuanJun Liu. Concurrency Bug Detection via Static Analysis and Large Language Models. Future Internet, 17(12):578, 2025. [doi]
@article{FengCZLL25,
title = {Concurrency Bug Detection via Static Analysis and Large Language Models},
author = {Zuocheng Feng and Yiming Chen and Kaiwen Zhang 0010 and Xiaofeng Li 0005 and GuanJun Liu},
year = {2025},
doi = {10.3390/fi17120578},
url = {https://doi.org/10.3390/fi17120578},
researchr = {https://researchr.org/publication/FengCZLL25},
cites = {0},
citedby = {0},
journal = {Future Internet},
volume = {17},
number = {12},
pages = {578},
}