Software Engineering

Authors and titles for recent submissions, skipping first 11

• Thu, 1 Jan 2026
• Tue, 30 Dec 2025
• Mon, 29 Dec 2025
• Thu, 25 Dec 2025
• Wed, 24 Dec 2025

Thu, 1 Jan 2026 (continued, showing last 17 of 28 entries)

[12]  arXiv:2512.24183 [pdf, ps, other]

Title: CoHalLo: code hallucination localization via probing hidden layer vector

Authors: Nan Jia, Wangchao Sang, Pengfei Lin, Xiangping Chen, Yuan Huang, Yi Liu, Mingliang Li

Subjects: Software Engineering (cs.SE)

[13]  arXiv:2512.24159 [pdf, ps, other]

Title: Developing controlled natural language for formal specification patterns using AI assistants

Authors: Natalia Garanina, Vladimir Zyubin, Igor Anureev

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[14]  arXiv:2512.23982 [pdf, ps, other]

Title: Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education

Authors: Hung-Fu Chang, MohammadShokrolah Shirazi, Lizhou Cao, Supannika Koolmanojwong Mobasser

Comments: 21 pages, 5 figures

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[15]  arXiv:2512.23875 [pdf, ps, other]

Title: From Illusion to Insight: Change-Aware File-Level Software Defect Prediction Using Agentic AI

Authors: Mohsen Hesamolhokama, Behnam Rohani, Amirahmad Shafiee, MohammadAmin Fazli, Jafar Habibi

Subjects: Software Engineering (cs.SE)

[16]  arXiv:2512.23844 [pdf, ps, other]

Title: From Correctness to Collaboration: Toward a Human-Centered Framework for Evaluating AI Agent Behavior in Software Engineering

Authors: Tao Dong, Harini Sampath, Ja Young Lee, Sherry Y. Shi, Andrew Macvean

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[17]  arXiv:2512.23782 [pdf, ps, other]

Title: A Systematic Mapping on Software Fairness: Focus, Trends and Industrial Context

Authors: Kessia Nepomuceno, Fabio Petrillo

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)

[18]  arXiv:2512.23780 [pdf, ps, other]

Title: Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review

Authors: Denesa Zyberaj, Pascal Hirmer, Marco Aiello, Stefan Wagner

Comments: This is the author accepted manuscript (AAM) of a paper accepted for publication in The Journal of Systems and Software (Elsevier). The final published version will be available via the journal

Subjects: Software Engineering (cs.SE)

[19]  arXiv:2512.23769 [pdf, ps, other]

Title: Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations

Authors: Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang (Gary)Tan, Saeid Tizpaz-Niari

Comments: In 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[20]  arXiv:2512.23747 [pdf, ps, other]

Title: State-of-the-art Small Language Coder Model: Mify-Coder

Authors: Abhinav Parmar, Abhisek Panigrahi, Abhishek Kumar Dwivedi, Abhishek Bhattacharya, Adarsh Ramachandra, Aditya Choudhary, Aditya Garg, Aditya Raj, Alankrit Bhatt, Alpesh Yadav, Anant Vishnu, Ananthu Pillai, Ankush Kumar, Aryan Patnaik, Aswatha Narayanan S, Avanish Raj Singh, Bhavya Shree Gadda, Brijesh Pankajbhai Kachhadiya, Buggala Jahnavi, Chidurala Nithin Krishna, Chintan Shah, Chunduru Akshaya, Debarshi Banerjee, Debrup Dey, Deepa R., Deepika B G, Faiz ur Rahman, Gagan Gayari, Gudhi Jagadeesh Kumar Naidu, Gursimar Singh, Harshal Tyagi, Harshini K, James Mani Vathalloor, Jayarama Nettar, Jayashree Gajjam, Joe Walter Sugil George, Kamalakara Sri Krishna Tadepalli, Kamalkumar Rathinasamy, Karan Chaurasia, Karthikeyan S, Kashish Arora, Kaushal Desai, Khushboo Buwade, Kiran Manjrekar, Malikireddy Venkata Sai Likhitha, et al. (51 additional authors not shown)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[21]  arXiv:2512.23746 [pdf, ps, other]

Title: DEFT: Differentiable Automatic Test Pattern Generation

Authors: Wei Li, Yan Zou, Yixin Liang, José Moura, Shawn Blanton

Subjects: Software Engineering (cs.SE)

[22]  arXiv:2512.23743 [pdf, ps, other]

Title: Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding

Authors: Yunguo Yu

Comments: 18 pages, 1 figure, original research paper

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[23]  arXiv:2512.23742 [pdf, ps, other]

Title: AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimization

Authors: Guangxi Fan, Tianliang Ma, Xuguang Sun, Xun Wang, Kain Lu Low, Leilai Shao

Comments: 7 pages, 7 figures, 2 tables

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[24]  arXiv:2512.24888 (cross-list from cs.CR) [pdf, ps, other]

Title: SoK: Web3 RegTech for Cryptocurrency VASP AML/CFT Compliance

Authors: Qian'ang Mao, Jiaxin Wang, Ya Liu, Li Zhu, Jiaman Chen, Jiaqi Yan

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[25]  arXiv:2512.24402 (cross-list from cs.RO) [pdf, ps, other]

Title: Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack

Authors: Giovanni Lambertini, Matteo Pini, Eugenio Mascaro, Francesco Moretti, Ayoub Raji, Marko Bertogna

Comments: Accepted to the 2026 IEEE/SICE International Symposium on System Integration (SII 2026)

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Systems and Control (eess.SY)

[26]  arXiv:2512.24400 (cross-list from cs.CR) [pdf, ps, other]

Title: SourceBroken: A large-scale analysis on the (un)reliability of SourceRank in the PyPI ecosystem

Authors: Biagio Montaruli, Serena Elisa Ponta, Luca Compagna, Davide Balzarotti

Comments: Accpted for the 41st ACM/SIGAPP Symposium on Applied Computing (SAC '26), March 23--27, 2026, Thessaloniki, Greece

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[27]  arXiv:2512.23745 (cross-list from cs.LG) [pdf, ps, other]

Title: A Comprehensive Study of Deep Learning Model Fixing Approaches

Authors: Hanmo You, Zan Wang, Zishuo Dong, Luanqi Mo, Jianjun Zhao, Junjie Chen

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

[28]  arXiv:2512.13749 (cross-list from cs.LG) [pdf, ps, other]

Title: Comparative Evaluation of Embedding Representations for Financial News Sentiment Analysis

Authors: Joyjit Roy, Samaresh Kumar Singh

Comments: 6 pages, 2 figures. Submitted to IEEE IATMSI-2026 (Track: AI, IoT and Computer Vision Enabled Technologies)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

Tue, 30 Dec 2025 (showing first 33 of 34 entries)

[29]  arXiv:2512.23605 [pdf, ps, other]

Title: Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes

Authors: Kenshin Obi, Ryo Yoshinaka, Hiroshi Fujimoto, Takuya Azumi

Journal-ref: Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2024, pp. 48-55

Subjects: Software Engineering (cs.SE)

[30]  arXiv:2512.23575 [pdf, ps, other]

Title: Model-based Development for Autonomous Driving Software Considering Parallelization

Authors: Kenshin Obi, Takumi Onozawa, Hiroshi Fujimoto, Takuya Azumi

Journal-ref: Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2024, pp. 1-8

Subjects: Software Engineering (cs.SE)

[31]  arXiv:2512.23511 [pdf, ps, other]

Title: Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving

Authors: Xinyi Zheng, Ningke Li, Xiaokun Luan, Kailong Wang, Ling Shi, Meng Sun, Haoyu Wang

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

[32]  arXiv:2512.23499 [pdf, other]

Title: AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices

Authors: Brice Arléon Zemtsop Ndadji (Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France), Simon Bliudze (Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France), Clément Quinton (Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France)

Comments: In Proceedings WACA 2025, arXiv:2512.22054

Journal-ref: EPTCS 438, 2025, pp. 123-147

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[33]  arXiv:2512.23498 [pdf, other]

Title: Adaptable Teastore with Energy Consumption Awareness: A Case Study

Authors: Henrique De Medeiros (SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, 91120 Palaiseau, France), Denisse Muñante (ENSIIE & SAMOVAR, Évry, France), Sophie Chabridon (SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, 91120 Palaiseau, France), César Perdigão Batista (SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, 91120 Palaiseau, France), Denis Conan (SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, 91120 Palaiseau, France)

Comments: In Proceedings WACA 2025, arXiv:2512.22054

Journal-ref: EPTCS 438, 2025, pp. 100-122

Subjects: Software Engineering (cs.SE)

[34]  arXiv:2512.23488 [pdf, ps, other]

Title: Embedding Quality Assurance in project-based learning

Authors: Maria Spichkova

Subjects: Software Engineering (cs.SE)

[35]  arXiv:2512.23415 [pdf, ps, other]

Title: An SLO Driven and Cost-Aware Autoscaling Framework for Kubernetes

Authors: Vinoth Punniyamoorthy, Bikesh Kumar, Sumit Saha, Lokesh Butra, Mayilsamy Palanigounder, Akash Kumar Agarwal, Kabilan Kannan

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[36]  arXiv:2512.23385 [pdf, ps, other]

Title: Securing the AI Supply Chain: What Can We Learn From Developer-Reported Security Issues and Solutions of AI Projects?

Authors: The Anh Nguyen, Triet Huynh Minh Le, M. Ali Babar

Comments: Accepted at the 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026) - Research Track

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)

[37]  arXiv:2512.23327 [pdf, ps, other]

Title: An Empirical Study of Generative AI Adoption in Software Engineering

Authors: Görkem Giray, Onur Demirörs, Marcos Kalinowski, Daniel Mendez

Subjects: Software Engineering (cs.SE)

[38]  arXiv:2512.23066 [pdf, ps, other]

Title: An Automated Grey Literature Extraction Tool for Software Engineering

Authors: Houcine Abdelkader Cherief, Brahim Mahmoudi, Zacharie Chenail-Larcher, Naouel Moha, Quentin Sti'evenart, Florent Avellaneda

Subjects: Software Engineering (cs.SE); Digital Libraries (cs.DL)

[39]  arXiv:2512.23033 [pdf, ps, other]

Title: Interpretable Gallbladder Ultrasound Diagnosis: A Lightweight Web-Mobile Software Platform with Real-Time XAI

Authors: Fuyad Hasan Bhoyan, Prashanta Sarker, Parsia Noor Ethila, Md. Emon Hossain, Md Kaviul Hossain, Md Humaion Kabir Mehedi

Subjects: Software Engineering (cs.SE); Computer Vision and Pattern Recognition (cs.CV)

[40]  arXiv:2512.22845 [pdf, ps, other]

Title: Towards the analysis of team members well-being

Authors: Zan Xu, Sari Nurfauziyyah, Anastasia Romanova, Kaamesh G S, Yiqun Gao, Maria Spichkova

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[41]  arXiv:2512.22827 [pdf, ps, other]

Title: FasterPy: An LLM-based Code Execution Efficiency Optimization Framework

Authors: Yue Wu, Minghao Han, Ruiyin Li, Peng Liang, Amjed Tahir, Zengyang Li, Qiong Feng, Mojtaba Shahin

Comments: 32 pages, 5 images, 7 tables, Manuscript submitted to a Journal (2025)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[42]  arXiv:2512.22753 [pdf, ps, other]

Title: From Rookie to Expert: Manipulating LLMs for Automated Vulnerability Exploitation in Enterprise Software

Authors: Moustapha Awwalou Diouf, Maimouna Tamah Diao, Iyiola Emmanuel Olatunji, Abdoul Kader Kaboré, Jordan Samhi, Gervais Mendy, Samuel Ouya, Jacques Klein, Tegawendé F. Bissyandé

Subjects: Software Engineering (cs.SE)

[43]  arXiv:2512.22701 [pdf, ps, other]

Title: CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems

Authors: Sabine Houy, Bruno Kreyssig, Alexandre Bartel

Comments: Under review at IEEE Euro S&P 2026

Subjects: Software Engineering (cs.SE)

[44]  arXiv:2512.22633 [pdf, ps, other]

Title: Rethinking the Capability of Fine-Tuned Language Models for Automated Vulnerability Repair

Authors: Woorim Han, Yeongjun Kwak, Miseon Yu, Kyeongmin Kim, Younghan Lee, Hyungon Moon, Yunheung Paek

Comments: To appear at ICSE 26. 13 pages

Subjects: Software Engineering (cs.SE)

[45]  arXiv:2512.22538 [pdf, ps, other]

Title: Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations

Authors: Qingyang Li, Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingkai Shi, Yuming Zhou

Comments: Accepted at ACM TOSEM

Subjects: Software Engineering (cs.SE)

[46]  arXiv:2512.22469 [pdf, ps, other]

Title: GraphLocator: Graph-guided Causal Reasoning for Issue Localization

Authors: Wei Liu, Chao Peng, Pengfei Gao, Aofan Liu, Wei Zhang, Haiyan Zhao, Zhi Jin

Subjects: Software Engineering (cs.SE)

[47]  arXiv:2512.22418 [pdf, ps, other]

Title: Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding

Authors: Yi-Hung Chou, Boyuan Jiang, Yi Wen Chen, Mingyue Weng, Victoria Jackson, Thomas Zimmermann, James A. Jones

Comments: Accepted for publication at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2026)

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[48]  arXiv:2512.22387 [pdf, ps, other]

Title: AI-Generated Code Is Not Reproducible (Yet): An Empirical Study of Dependency Gaps in LLM-Based Coding Agents

Authors: Bhanu Prakash Vangala, Ali Adibifar, Tanu Malik, Ashish Gehani

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[49]  arXiv:2512.22256 [pdf, ps, other]

Title: Agentic Software Issue Resolution with Large Language Models: A Survey

Authors: Zhonghao Jiang, David Lo, Zhongxin Liu

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[50]  arXiv:2512.22250 [pdf, ps, other]

Title: Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing

Authors: Bo Yang, Yinfen Xia, Weisong Sun, Yang Liu

Subjects: Software Engineering (cs.SE)

[51]  arXiv:2512.22244 [pdf, ps, other]

Title: Failure Analysis of Safety Controllers in Autonomous Vehicles Under Object-Based LiDAR Attacks

Authors: Daniyal Ganiuly, Nurzhau Bolatbek, Assel Smaiyl

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[52]  arXiv:2512.22216 [pdf, ps, other]

Title: Syntax Is Not Enough: An Empirical Study of Small Transformer Models for Neural Code Repair

Authors: Shaunak Samant

Subjects: Software Engineering (cs.SE)

[53]  arXiv:2512.23552 (cross-list from cs.PL) [pdf, ps, other]

Title: Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction

Authors: Martin Sulzmann

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[54]  arXiv:2512.23497 (cross-list from cs.PL) [pdf, other]

Title: Adaptable TeaStore: A Choreographic Approach

Authors: Giuseppe De Palma (Università di Bologna, Italy and INRIA, France), Saverio Giallorenzo (Università di Bologna, Italy and INRIA, France), Ivan Lanese (Università di Bologna, Italy and INRIA, France), Gianluigi Zavattaro (Università di Bologna, Italy and INRIA, France)

Comments: In Proceedings WACA 2025, arXiv:2512.22054

Journal-ref: EPTCS 438, 2025, pp. 79-99

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[55]  arXiv:2512.23495 (cross-list from cs.DC) [pdf, other]

Title: Decoupling Adaptive Control in TeaStore

Authors: Eddy Truyen (DistriNet, KU Leuven, 3001 Leuven, Belgium)

Comments: In Proceedings WACA 2025, arXiv:2512.22054

Journal-ref: EPTCS 438, 2025, pp. 40-57

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[56]  arXiv:2512.23214 (cross-list from cs.CL) [pdf, ps, other]

Title: Anka: A Domain-Specific Language for Reliable LLM Code Generation

Authors: Saif Khalfan Saif Al Mazrouei

Comments: 11 pages, 1 figure, 4 tables. Code and benchmarks available at this https URL

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

[57]  arXiv:2512.23183 (cross-list from quant-ph) [pdf, ps, other]

Title: LogosQ: A High-Performance and Type-Safe Quantum Computing Library in Rust

Authors: Shiwen An, Jiayi Wang, Konstantinos Slavakis

Comments: this https URL this https URL this https URL this https URL

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)

[58]  arXiv:2512.23071 (cross-list from stat.ML) [pdf, ps, other]

Title: Federated Learning With L0 Constraint Via Probabilistic Gates For Sparsity

Authors: Krishna Harsha Kovelakuntla Huthasana, Alireza Olama, Andreas Lundell

Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Software Engineering (cs.SE)

[59]  arXiv:2512.23055 (cross-list from cs.HC) [pdf, ps, other]

Title: Reimagining the Traditional Flight Computer: E6BJA as a Modern, Multi-Platform Tool for Flight Calculations and Training

Authors: Jamie J. Alnasir

Comments: Pre-print. 23 pages, 6 figures, 2 tables

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[60]  arXiv:2512.23028 (cross-list from cs.CV) [pdf, ps, other]

Title: An Architecture-Led Hybrid Report on Body Language Detection Project

Authors: Thomson Tong, Diba Darooneh

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[61]  arXiv:2512.22404 (cross-list from cs.HC) [pdf, ps, other]

Title: Mining the Gold: Student-AI Chat Logs as Rich Sources for Automated Knowledge Gap Detection

Authors: Quanzhi Fu, Qiyu Wu, Dan Williams

Comments: 6 pages, 2 figures

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

• Thu, 1 Jan 2026
• Tue, 30 Dec 2025
• Mon, 29 Dec 2025
• Thu, 25 Dec 2025
• Wed, 24 Dec 2025