Loading…
Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator
Ren, Zhilei, Li, Yitao, Li, Xiaochen, Qi, Guanxiao, Xuan, Jifeng, Jiang, He
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
Zeng, Fanlang, Chang, Rui, Liu, Hongjian
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Loading…
Are Autonomous Web Agents Good Testers?
Chevrot, Antoine, Vernotte, Alexandre, Falleri, Jean-Rémy, Blanc, Xavier, Legeard, Bruno, Cretin, Aymeric
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Loading…
LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
Tang, Lingxiao, Liu, Jiakun, Liu, Zhongxin, Yang, Xiaohu, Bao, Lingfeng
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Bridging the Gaps between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Yu, Qingchen, Liu, Xin, Zhou, Qingguo, Wu, Chunming
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Wong, Wai Kin, Wu, Daoyuan, Wang, Huaijin, Li, Zongjie, Liu, Zhibo, Wang, Shuai, Tang, Qiyi, Nie, Sen, Wu, Shi
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Yu, Lei, Huang, Zhirong, Yuan, Hang, Cheng, Shiqi, Yang, Li, Zhang, Fengjun, Shen, Chenjie, Ma, Jiajia, Zhang, Jingyuan, Lu, Junyi, Zuo, Chun
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Zhang, Ziyao, Wang, Chong, Wang, Yanlin, Shi, Ensheng, Ma, Yuchi, Zhong, Wanjun, Chen, Jiachi, Mao, Mingzhi, Zheng, Zibin
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Loading…
Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection
Li, Haodong, Cheng, Xiao, Zhao, Yanjie, Xu, Guosheng, Xu, Guoai, Wang, Haoyu
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Automated Test Transfer across Android Apps using Large Language Models
Beyzaei, Benyamin, Talebipour, Saghar, Rafiei, Ghazal, Medvidović, Nenad, Malek, Sam
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Yuan, Xiaohan, Li, Jinfeng, Wang, Dongxia, Chen, Yuefeng, Mao, Xiaofeng, Huang, Longtao, Chen, Jialuo, Xue, Hui, Liu, Xiaoxia, Wang, Wenhai, Ren, Kui, Wang, Jingyi
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Effective REST APIs Testing with Error Message Analysis
Xu, Lixin, Wu, Huayao, Pan, Zhenyu, Xu, Tongtong, Wang, Shaohua, Niu, Xintao, Nie, Changhai
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems
Tian, Haoxiang, Ding, Wenqiang, Han, Xingshuo, Wu, Guoquan, Guo, An, Zhang, Junqi, Chen, Wei, Wei, Jun, Zhang, Tianwei
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
MoDitector: Module-Directed Testing for Autonomous Driving Systems
Wang, Renzhi, Cheng, Mingfei, Xie, Xiaofei, Zhou, Yuan, Ma, Lei
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Bridge the Islands: Pointer Analysis for Microservice Systems
Zhang, Teng, Liang, Yufei, Li, Ganlin, Tan, Tian, Xu, Chang, Li, Yue
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-orchestration
Zhu, Zhiling, Chen, Tieming, Liu, Chengwei, Liu, Han, Song, Qijie, Xu, Zhengzi, Liu, Yang
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article