Software Engineering Papers

What Does It Take to Research with AI? A Rapid Review of Competencies to Train LLM-Literate Researchers Danilo Monteiro Ribeiro, Ronnie de Souza Santos, Rodrigo Siqueira, Breno Andrade, Rafael Batista Duarte, Gilberto Hida, Julia Alencar, … arxiv.org/abs/2607.16083 [𝚌𝚜.𝚂𝙴]

DiffTestGen: Change-Directed LLM-Based Testing for Exposing Behavioral Differences Huimin Hu, Cristian Cadar, Michael Pradel arxiv.org/abs/2607.16024 [𝚌𝚜.𝚂𝙴]

TARS: A Theory-of-Mind Agent for Personalized In-IDE Code Comprehension Leopoldo Todisco, Antonio Della Porta, Stefano Lambiase, Fabio Palomba arxiv.org/abs/2607.15948 [𝚌𝚜.𝚂𝙴] 💬Accepted at ICSME 2026, Tool Demonstration and Data Showcase Track

Trans-Domain Digital Twin: Conceptual Foundations, Architecture, and Research Outlook Mansoorali Amiri arxiv.org/abs/2607.15908 [𝚌𝚜.𝚂𝙴]

Agentic Synthesis against Counterexample-Supplemented Sketches Muness Castle, Eric Rubeck arxiv.org/abs/2607.15854 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸] 💬Code: github.com/open-horizon-l…

In the Driver's Seat: A Multi-Company Study on the Reality of Autonomous Driving System Testing Qunying Song, Yuan Gao, Johannes Betz, Dietmar Pfahl, Mohammad Reza Mousavi, Federica Sarro arxiv.org/abs/2607.15820 [𝚌𝚜.𝚂𝙴]

READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs Doehyun Baek, Kilian Krampf, Michael Pradel arxiv.org/abs/2607.15780 [𝚌𝚜.𝚂𝙴]

Making Agent-Mediated Contributions Governable: A Project-Level Governance Manifest for Open-Source AI Collaboration Jinjin Gao, Luyang Li, Shufen Guo, Ligang He, Xiaoning Sun arxiv.org/abs/2607.15769 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙲𝚈]

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Mingxuan Zhu, Qingyuan Liang, Junjie Chen, Zhihong Xue, Dan Hao arxiv.org/abs/2607.15762 [𝚌𝚜.𝚂𝙴]

Verified LLM-Driven Synthesis for Concept Design Alcino Cunha arxiv.org/abs/2607.15718 [𝚌𝚜.𝚂𝙴]

Understanding Agent-Reactive Bugs at the Model-Harness Boundary: An Empirical Study of LLM Agent Issue Reports Jingyi Chen, Songqiang Chen, Hengcheng Zhu, Jialun Cao, Jiasi Shen, Shing-Chi Cheung arxiv.org/abs/2607.15684 [𝚌𝚜.𝚂𝙴]

Two-Path Status Verification for Outbound Enterprise Messaging Pipelines: Webhook and Scheduled Polling Fallback Architecture Devam Gupta arxiv.org/abs/2607.15529 [𝚌𝚜.𝚂𝙴]

MM-IssueLoc: A Controlled Benchmark for Evaluating Visual Evidence in Multimodal Repository-Level Issue Localization Shaoxiong Zhan, Shi Hu, Boyu Feng, Hai Lin, Andrew Gong, Zhengda Zhou, Jiaying Zhou, Yunyun Hou, Hao Su, … arxiv.org/abs/2607.15205 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸]

Navigating the Socio-Technical Complexity Challenge in Quantum Software Ecosystems Ronja Heikkinen, Santiago Núñez-Corrales, Vlad Stirbu arxiv.org/abs/2607.15135 [𝚌𝚜.𝚂𝙴]

Capturing and Exploiting Design Pattern Variability in Mobile Application Generation Ramón Peralta, Jose-Miguel Horcas arxiv.org/abs/2607.15099 [𝚌𝚜.𝚂𝙴]

Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner, Steven Y. Ko arxiv.org/abs/2607.15025 [𝚌𝚜.𝚂𝙴]

FirmPilot: Evidence-Guided Multi-Agent Environment Recovery for IoT Firmware Rehosting Yanbing Shen, Fan Zhang, Haitao Xu arxiv.org/abs/2607.14903 [𝚌𝚜.𝚂𝙴]

StructureClaw: Traceable LLM Agents and an Executable Benchmark for Structural Engineering Workflows Sizhong Qin, Yi Gu, Yao Jiang, Ao Cai, Changjian Zhou, Shaoxuan Shuai, Jiachang Wang, Tianhao Shen, Yueqiang Li, … arxiv.org/abs/2607.14896 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙼𝙰]

AI Prototyper: A Figma Plugin for Decomposition-Based GUI Prototyping with LLMs Tawatchai Salangsingha, Sami Ashkan, Md Zia Ullah, Iain McGregor arxiv.org/abs/2607.14830 [𝚌𝚜.𝚂𝙴]

Large Language Models for Code Generation from Multilingual Prompts: A Curated Benchmark and a Study on Code Quality Saima Afrin, Alessandro Midolo, Camilo Escobar-Velásquez, Mario Linares-Vásquez, Weiyuan Ding, Bowen Xu, … arxiv.org/abs/2607.14816 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸]