Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
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
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
Detecting Isolation Anomalies in Relational DBMSs
Yang, Rui, Cui, Ziyu, Dou, Wensheng, Gao, Yu, Song, Jiansen, Xie, Xudong, Wei, Jun
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
You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects
Bouzenia, Islem, Pradel, Michael
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
AudioTest: Prioritizing Audio Test Cases
Li, Yinghua, Dang, Xueqi, Ouédraogo, Wendkûuni C., Klein, Jacques, Bissyandé, Tegawendé F.
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
Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Fan, Guangsheng, Chen, Liqian, Yin, Banghu, Zhang, Wenyu, Yao, Peisen, Wang, Ji
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
SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Ma, Yingwei, Cao, Rongyu, Cao, Yongchang, Zhang, Yue, Chen, Jue, Liu, Yibo, Liu, Yuchen, Li, Binhua, Huang, Fei, Li, Yongbin
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
WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery
Wu, Wei-Cheng, Nagy, Stefan, Hauser, Christophe
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
Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Zhou, Jinmeng, Pan, Ziyue, Shen, Wenbo, Wang, Xingkai, Lu, Kangjie, Qian, Zhiyun
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
Understanding Practitioners’ Expectations on Clear Code Review Comments
Chen, Junkai, Li, Zhenhao, Mao, Qiheng, Hu, Xing, Liu, Kui, Xia, Xin
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
Quantum Concolic Testing
Xia, Shangzhou, Zhao, Jianjun, Zhang, Fuyuan, Guo, Xiaoyu
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
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
Model Checking Guided Incremental Testing for Distributed Systems
Gao, Yu, Wang, Dong, Dou, Wensheng, Feng, Wenhan, Liang, Yu, Feng, Yuan, Wei, Jun
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
Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Yin, Liangze, Li, Yiwei, Chen, Kun, Dong, Wei, Wang, Ji
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