Software Engineering

Authors and titles for recent submissions

See today's new changes

Total of 113 entries : 1-50 51-100 101-113

Showing up to 50 entries per page: fewer | more | all

arXiv:2606.18168 [pdf, html, other]: Title: All Smoke, No Alarm: Oracle Signals in Agent-Authored Test Code

Dipayan Banik, Kowshik Chowdhury, Shazibul Islam Shamim

Comments: Accepted at the 8th IEEE International Conference on Artificial Intelligence Testing, 2026

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17981 [pdf, html, other]: Title: Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs

Ning Zhang, Nongyu Di, Zenan Li, Yuan Yao, Xiaoxing Ma

Comments: 26 pages, 8 figures; submitted to OOPSLA 2026

Subjects: Software Engineering (cs.SE)
arXiv:2606.17819 [pdf, html, other]: Title: A Framework for Evaluating Agentic Skills at Scale

Maksim Shaposhnikov, Nicolas Fortuin, Simon Stipcich, Maria I. Gorinova, Amy Heineike, Rob Willoughby

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
arXiv:2606.17799 [pdf, html, other]: Title: Position: Coding Benchmarks Are Misaligned with Agentic Software Engineering

Maria I. Gorinova, Macey Baker, Amy Heineike, Maksim Shaposhnikov, Rob Willoughby, Dru Knox

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
arXiv:2606.17666 [pdf, html, other]: Title: FacProcessTwin: An LLM-Based System for Process Twin Development

Yash Pulse, Yong-Bin Kang, Abhik Banerjee, Prem Prakash Jayaraman

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17612 [pdf, other]: Title: PracRepair: LLM-Empowered Automated Program Repair Inspired by Human-Like Debugging Practices

Yu Cheng, Zhongxin Liu, Zhenchang Xing, Chao Ni, Qing Huang, Xiaoxue Ren

Subjects: Software Engineering (cs.SE)
arXiv:2606.17593 [pdf, other]: Title: Why Model Credibility Isn't Enough: -Rethinking Trust in Simulation Architectures

Romain Barbedienne, Adeline Lanugue, Rim Kaddah, Julien Silande, Anthony Levillain, Cedric Leclerc, Maxime Hayet, Boussaad Soualmi, Cristian Maxim

Comments: Annual Congress of Japan Society of Automotive Engineers (JSAE), May 2026, Yokohama, Japan

Subjects: Software Engineering (cs.SE)
arXiv:2606.17588 [pdf, html, other]: Title: Understanding LLMs in Title-Abstract Screening: From Disagreements to Recommendations

Mika Mäntylä, Patricia Matsubara, Katia Romero Felizardo, Miikka Kuutila, Marco Gerosa, Savio de Sousa Sampaio, Tayana Conte, Igor Steinmacher

Comments: 14 pages + references. Accepted for publication in the 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2026)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17514 [pdf, html, other]: Title: Unlocking LLM Code Correction with Iterative Feedback Loops

Le Zhang, Suresh Kothari

Comments: 22 pages, 14th Computing Conference 2026

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17510 [pdf, other]: Title: OmniDroneX: An LLM-Assisted Holistic Drone-as-a-Service Ecosystem

I-Ling Yen, Akeem Mohammed, Farokh Bastani, San-Yih Hwang

Comments: Ongoing project paper that is going to be submitted to JointCloud Computing

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
arXiv:2606.17387 [pdf, html, other]: Title: Supporting the Adoption of Privacy-Enhancing Technologies through Requirements Engineering

Oleksandr Kosenkov, Vadym Honcharenko, Abhinava Singh, Volodymyr Spirin, Danica Vranjanin

Comments: Accepted to the 34th International Requirements Engineering Conference (RE 2026), Montreal, Canada, from 17 to 21 August 2026

Subjects: Software Engineering (cs.SE)
arXiv:2606.17203 [pdf, html, other]: Title: Trust-Aware Multi-Agent Traceability: Confidence-Calibrated Knowledge Graphs for Consistent Software Artifact Management

Mohamed Essam, Kareem Wael, Azza Hassan, Ahmed Haitham, Mahmoud Soliman, Samer Saber, Ibrahim Habib

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17197 [pdf, html, other]: Title: Cluster-Aware Dual-Level Test Specification Generation for Large-Scale Automotive Software Requirements

Hazem Ayman, Menna Sedik, Kareem Mostafa, Mahmoud Soliman, Samer Saber, Ibrahim Habib

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17099 [pdf, html, other]: Title: Software Delegation Contracts: Measuring Reviewability in AI Coding-Agent Work

Vincent Schmalbach

Comments: 11 pages; empirical pilot study with 64 coding-agent runs and 192 blinded reviews

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.17094 [pdf, html, other]: Title: LogCopilot: Automating Log Aggregation Analysis through Large Language Models

Senyu Xie, Chenxi Zhang, Tong Zhou, Jiacheng Liu, Xiaoyu Hong, Qingshan Li, Xin Peng

Subjects: Software Engineering (cs.SE)
arXiv:2606.17915 (cross-list from cs.MA) [pdf, html, other]: Title: Trustworthy Self-Composable Big-Data-as-a-Service: An LLM-Orchestrated Multi-Agent Framework for Automated Data Engineering, AutoML, MLOps Deployment, and Drift-Aware Lifecycle Optimization

Aueaphum Aueawatthanaphisut, Badri Raj Lamichhane

Comments: 7 pages, 3 figures, 5 tables

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Databases (cs.DB); Software Engineering (cs.SE)
arXiv:2606.17508 (cross-list from cs.LG) [pdf, html, other]: Title: When the Next Step Is Not One Step: Distribution-Aware Execution Modeling for Concurrent Go Programs

Kaviru Hapuarachchi

Comments: 10 pages, 2 figures

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)
arXiv:2606.17507 (cross-list from cs.AI) [pdf, html, other]: Title: LLM-as-Judge in Education: A Curriculum-Grounded Marking Pipeline

Xiwei Xu, Chen Wang, Jacky Jiang, Phil Yang, Qian Fu, Mohan Dhall, Wenjie Zhang, Liming Zhu

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
arXiv:2606.17398 (cross-list from cs.CR) [pdf, html, other]: Title: SoK: AI-Augmented Binary Reversing

Yujeong Kwon, Yiyue Zhang, Shakhzod Yuldoshkhujaev, Kexin Pei, Dokyung Song, Hyungjoon Koo

Comments: 20 pages, 7 tables, 3 figures

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
arXiv:2606.17374 (cross-list from cs.LO) [pdf, html, other]: Title: Verifying the Rust Standard Library

Byron Cook, Remi Delmas, Zyad Hassan, Bart Jacobs, Ranjit Jhala, Rahul Kumar, Felipe R. Monteiro, Thanh Nguyen, Rebecca Rumbul, Michael Tautschnig, Celina Val, Carolyn Zech

Comments: Published at 18th NASA Formal Methods Symposium (NFM 2026)

Journal-ref: In: Deshmukh, J., Havelund, K., Pinto, A. (eds) NASA Formal Methods. NFM 2026. Lecture Notes in Computer Science, vol 16622. Springer, Cham, pp. 415-435

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
arXiv:2606.17261 (cross-list from cs.PF) [pdf, other]: Title: The Right Call for Software Benchmarking: Consistent Decisions in Stateful Environments

Gábor Melis

Subjects: Performance (cs.PF); Software Engineering (cs.SE); Applications (stat.AP)
arXiv:2606.17164 (cross-list from cs.CL) [pdf, html, other]: Title: PromptMN: Pseudo Prompting Language

Enkhzol Dovdon

Comments: 32 pages, 2 figures

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

arXiv:2606.16999 [pdf, html, other]: Title: Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models

Mehmet Iscan

Comments: 33 pages, 4 figures, 8 tables

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
arXiv:2606.16988 [pdf, html, other]: Title: Agent trajectories as programs: fingerprinting and programming coding-agent behavior

Hamidah Oderinwale

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
arXiv:2606.16886 [pdf, html, other]: Title: Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale

Muhammad A. A. Pirzada, Julian Parsert, Weiqi Wang, Konstantin Korovin, Lucas C. Cordeiro

Subjects: Software Engineering (cs.SE)
arXiv:2606.16842 [pdf, html, other]: Title: Beyond Models: Reflections on Engineering AI-enabled Systems in a Project-Based Course

Amir Mashmool, Kishan Ravindra Sawant, Mojtaba Shahin, Nico Hochgeschwender, Rainer Koschke

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.16839 [pdf, html, other]: Title: Towards LLM Accelerated Rapid Reviews for Software Tool Discovery -- Case for Log Anomaly Detection

Jesse Nyyssölä, Hamza Bin Mazhar, Alexander Bakhtin, Matteo Esposito, Nana Reinikainen, Yuqing Wang, Ying Song, Davide Taibi, Mika Mäntylä

Comments: 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2026

Subjects: Software Engineering (cs.SE)
arXiv:2606.16827 [pdf, html, other]: Title: No Resource, No Benchmarks, No Problem? Evaluating and Improving LLMs for Code Generation in No-Resource Languages

Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota

Comments: Accepted for publication at IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)
arXiv:2606.16725 [pdf, html, other]: Title: Organizational Cohesion in Microservice Architectures: A Multi-Project Empirical Study

Xiaozhou Li, Andrea Janes

Subjects: Software Engineering (cs.SE)
arXiv:2606.16692 [pdf, html, other]: Title: Reference Architecture for Metadata-driven Services to Promote Reusability in Software Systems

João F. L. Daniel, Bruno P. Romano, Xiaofeng Wang, Andrea Janes, Eduardo M. Guerra

Subjects: Software Engineering (cs.SE)
arXiv:2606.16670 [pdf, html, other]: Title: Trust by design -- in praise of modularization: a case study

Peter Fettke, Wolfgang Reisig

Comments: 11 pages, 11 figures, submitted to ISoLA 2026

Subjects: Software Engineering (cs.SE)
arXiv:2606.16650 [pdf, html, other]: Title: Understanding Automated Web GUI Testing: An Empirical Study Across Exploration Strategies and State Abstractions

Chenxu Liu, Wei Yang, Ying Zhang, Tao Xie

Subjects: Software Engineering (cs.SE)
arXiv:2606.16292 [pdf, html, other]: Title: AI Supply Chain Galaxy: 3D Visual Analytics for License Compliance

Weiru Han, Xuetao Shi, Wenyi He, Wei Wang, Rui Zhao, Moming Duan

Comments: 15 pages, 6 figures

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.16262 [pdf, html, other]: Title: UXBench: Measuring the Actionability of LLM-Generated UX Critiques

Wenjie Wang, Yue Huang, Zipeng Ling, Han Bao, Hang hua, Xiaonan Luo, Yu Jiang, Shiyi Du, Yuexing Hao, Xiaomin Li, Yuchen Ma, Dianzhuo Wang, Yanfang Ye, Xiangliang Zhang

Comments: 30 pages

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.16201 [pdf, html, other]: Title: Q-READY: Predictive Feasibility Assessment for Hybrid Quantum-Classical Applications

Tao Yue, Man Zhang

Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
arXiv:2606.16162 [pdf, html, other]: Title: Binary Decompilation LLM with Feedback-Driven Multi-Turn Refinement

Peipei Liu, Jian Sun, Mingzhe Xing, Yicheng Zeng, Zhaoteng Yan, Lixiao Zhang, Li Chen, Dan Li

Subjects: Software Engineering (cs.SE)
arXiv:2606.16038 [pdf, html, other]: Title: Open-SWE-Traces: Advancing Dual-Mode Multilingual Distillation for Software Engineering Agents

Wasi Uddin Ahmad, Nikolai Ludwig, Somshubra Majumdar, Boris Ginsburg

Comments: Work in progress

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.15954 [pdf, html, other]: Title: Green SARC: Predictive Cost and Carbon Governance for Agentic AI Systems

Gaston Besanson

Comments: 19 figures. Code: this https URL -- Software DOI: this https URL

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
arXiv:2606.15943 [pdf, html, other]: Title: Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems

Víctor A. Braberman, Flavia Bonomo-Braberman

Comments: Published at 2026 IEEE/ACM 5th International Conference on AI Engineering - Software Engineering for AI (CAIN '26), April 12-13, 2026, Rio de Janeiro, Brazil

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.15828 [pdf, html, other]: Title: Configuration Smells in AGENTS.md Files: Common Mistakes in Configuring Coding Agents

Helio Victor F. dos Santos, Vitor Costa, Joao Eduardo Montandon, Luciana Lourdes Silva, Marco Tulio Valente

Subjects: Software Engineering (cs.SE)
arXiv:2606.15693 [pdf, other]: Title: Imperfect Visual Verification for Code Edition : A Case Study on TikZ

Charly Reux (UR, INSA Rennes, DiverSe), Mathieu Acher (CNRS, IUF, IRISA, UR, DiverSe), Djamel Eddine Khelladi (DiverSe, UR, CNRS, IRISA), Clément Quinton (SPIRALS, CNRS), Olivier Barais (UR, IRISA, DiverSe)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
arXiv:2606.15689 [pdf, html, other]: Title: Bigger Isn't Always Better: A Comparative Evaluation of LLMs for Automated Code Review

Shivam Pankaj Kumar, Swati Bararia, Kislay Raj

Comments: 7 pages, 4 figures, 13 tables, 13 references

Subjects: Software Engineering (cs.SE)
arXiv:2606.15683 [pdf, html, other]: Title: Applications of Causality in Software Testing: A Rapid Review

Tiancheng Ma, Nasir U. Eisty

Comments: Accepted to: Proceedings of the 30th International Conference on Evaluation and Assessment in Software Engineering (EASE), 2026, June 9-12, 2026, Glasgow, United Kingdom

Subjects: Software Engineering (cs.SE)
arXiv:2606.15677 [pdf, html, other]: Title: Teaching testing seriously in academia

Tanja E.J. Vos, Bart Th. Knaack, Beatriz Marín, Niels Doorn, Nikè van Vugt-Hage

Comments: ENASE '26

Subjects: Software Engineering (cs.SE)
arXiv:2606.15582 [pdf, html, other]: Title: Minimal Comparison of Octagonal Abstract Domains

Kenny Ballou, Elena Sherman

Comments: Submitted to NSAD 2026

Subjects: Software Engineering (cs.SE)
arXiv:2606.15559 [pdf, html, other]: Title: SDVDiag: Multimodal Causal Discovery for Online Diagnosis in Software-defined Vehicles

Matthias Weiß, Athreya Hosahalli Prakash, Falk Dettinger, Nasser Jazdi, Michael Weyrich

Comments: 8 pages, 4 figures, 2 tables

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
arXiv:2606.15480 [pdf, html, other]: Title: A Scalability Analysis of Quantitative Confidence Assessment Methods for Assurance Cases

Simon Diemert, Jens H. Weber

Comments: Preprint. Version of Record to appear in SafeCOMP'26 Workshop Proceedings published by Springer

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
arXiv:2606.15283 [pdf, html, other]: Title: AI-driven Software Development: A Pragmatic Path to Agentic Development Processes

Peter Mandl, Paul Mandl

Subjects: Software Engineering (cs.SE)
arXiv:2606.15122 [pdf, html, other]: Title: The Hitchhiker's Guide to Program Analysis, Part III: Mostly Harmless LLMs

Haonan Li, Tianyang Zhou, Manu Sridharan, Hang Zhang, Zhiyun Qian

Subjects: Software Engineering (cs.SE)
arXiv:2606.15084 [pdf, html, other]: Title: Specifications for Humans, Agents, and Tooling

Mark Marron

Subjects: Software Engineering (cs.SE)

Total of 113 entries : 1-50 51-100 101-113

Showing up to 50 entries per page: fewer | more | all

URL: https://arxiv.org/list/cs.SE/recent

⇱ Software Engineering

Software Engineering

Authors and titles for recent submissions

Wed, 17 Jun 2026 (showing 22 of 22 entries )

Tue, 16 Jun 2026 (showing first 28 of 40 entries )