By Mr Yuekang Li

Journal articles

Feng W; Li X; Feng R; Zhang Y; Li Y; Zhou Z; Wang Y; Li Y, 2026, 'Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities', Proceedings of the ACM on Programming Languages, 10, pp. 1514 - 1541, http://dx.doi.org/10.1145/3798255

Kan S; Li Y; He W; Xing Z; Zhu L; Sui Y, 2026, 'Spectre: Automated Aliasing Specification Generation for Library APIs with Fuzzing', ACM Transactions on Software Engineering and Methodology, 35, http://dx.doi.org/10.1145/3725811

Ge J; Zheng Y; Li Y; Ma W; Habib SM; Kakkolangara P; Byman GW; Liu Y, 2026, 'OptRCA: A More Efficient and Accurate Approach for Automated Root Cause Analysis and Explanation', ACM Transactions on Software Engineering and Methodology, 35, http://dx.doi.org/10.1145/3736718

Li N; Song Y; Li Y; Shi L; Liu Y; Wang H; Wang K, 2026, 'Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning', IEEE Transactions on Software Engineering, http://dx.doi.org/10.1109/TSE.2026.3731191

Wang S; Li Y; Wang K; Liu Y; Li H; Liu Y; Wang H, 2025, 'MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis', ACM Transactions on Software Engineering and Methodology, 34, http://dx.doi.org/10.1145/3709351

Li S; Xie K; Li Y; Li H; Ren Y; Sun L; Zhu H, 2025, 'TransferFuzz-Pro: Large Language Model Driven Code Debugging Technology for Verifying Propagated Vulnerability', IEEE Transactions on Software Engineering, 51, pp. 2396 - 2411, http://dx.doi.org/10.1109/TSE.2025.3584774

Liu Y; Deng G; Ding J; Li Y; Zhang T; Sun W; Zheng Y; Ge J, 2025, 'Mission: Impossible – Image-Based Geolocation with Large Vision Language Models', Proceedings on Privacy Enhancing Technologies, 2025, pp. 410 - 428, http://dx.doi.org/10.56553/popets-2025-0137

Zhang X; Zhang C; Li X; Du Z; Mao B; Li Y; Zheng Y; Li Y; Pan L; Liu Y; Deng R, 2024, 'A Survey of Protocol Fuzzing', ACM Computing Surveys, 57, http://dx.doi.org/10.1145/3696788

Li N; Li Y; Liu Y; Shi L; Wang K; Wang H, 2024, 'Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models', Proceedings of the ACM on Programming Languages, 8, http://dx.doi.org/10.1145/3689776

Li Y; Liu Y; Deng G; Zhang Y; Song W; Shi L; Wang K; Li Y; Liu Y; Wang H, 2024, 'Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection', Proceedings of the ACM on Software Engineering, 1, pp. 2075 - 2097, http://dx.doi.org/10.1145/3660799

Wei X; Xiao M; Wang B; Wang C; Li Y; Dou J; Cui Z; Dou J; Wang H; Ma S; Zhu C; Yuan G; Yang N; Song T; Zhou H; Chen H; Bai Y; Chen Q, 2022, 'Avoiding Structural Collapse to Reduce Lead Leakage in Perovskite Photovoltaics', Angewandte Chemie International Edition, 61, pp. e202204314, http://dx.doi.org/10.1002/anie.202204314

Li S; Xie X; Lin Y; Li Y; Feng R; Li X; Ge W; Dong JS, 2022, 'Deep Learning for Coverage-Guided Fuzzing: How Far are We?', IEEE Transactions on Dependable and Secure Computing, pp. 1 - 13, http://dx.doi.org/10.1109/TDSC.2022.3200525

Yao S; Chen C; Chen Q; Zhang J; Li Y; Zeng Y, 2022, 'An integrated hydrodynamic and multicriteria evaluation Cellular Automata–Markov model to assess the effects of a water resource project on waterbird habitat in wetlands', Journal of Hydrology, 607, pp. 127561, http://dx.doi.org/10.1016/j.jhydrol.2022.127561

Yao S; Li X; Liu C; Zhang J; Li Y; Gan T; Liu B; Kuang W, 2020, 'New assessment indicator of habitat suitability for migratory bird in wetland based on hydrodynamic model and vegetation growth threshold', Ecological Indicators, 117, pp. 106556, http://dx.doi.org/10.1016/j.ecolind.2020.106556

Luo H; Lou VWQ; Li Y; Chi I, 2019, 'Development and Validation of a Prognostic Tool for Identifying Residents at Increased Risk of Death in Long-Term Care Facilities', Journal of Palliative Medicine, 22, pp. 258 - 266, http://dx.doi.org/10.1089/jpm.2018.0219

Back to profile page