Software Engineering

Authors and titles for November 2024

[126] arXiv:2411.11033 [pdf, html, other]

Title: REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models

Jianlei Chi, Xiaotian Wang, Yuhan Huang, Lechen Yu, Di Cui, Jianguo Sun, Jun Sun

Comments: 21 pages, 8 figures

Subjects: Software Engineering (cs.SE)

[127] arXiv:2411.11202 [pdf, html, other]

Title: Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution

Carlos E. Budde, Ranindya Paramitha, Fabio Massacci

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

[128] arXiv:2411.11380 [pdf, html, other]

Title: Extracting Database Access-control Policies From Web Applications

Wen Zhang, Dev Bali, Jamison Kerney, Aurojit Panda, Scott Shenker

Subjects: Software Engineering (cs.SE)

[129] arXiv:2411.11401 [pdf, html, other]

Title: Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword?

Rosalia Tufano, Alberto Martin-Lopez, Ahmad Tayeb, Ozren Dabić, Sonia Haiduc, Gabriele Bavota

Subjects: Software Engineering (cs.SE)

[130] arXiv:2411.11410 [pdf, html, other]

Title: Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries

Xiufeng Xu, Fuman Xie, Chenguang Zhu, Guangdong Bai, Sarfraz Khurshid, Yi Li

Subjects: Software Engineering (cs.SE)

[131] arXiv:2411.11532 [pdf, html, other]

Title: CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph

Hanxiang Xu, Wei Ma, Ting Zhou, Yanjie Zhao, Kai Chen, Qiang Hu, Yang Liu, Haoyu Wang

Comments: 12 pages, 3 figures

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

[132] arXiv:2411.11582 [pdf, html, other]

Title: Exploring LLMs for Verifying Technical System Specifications Against Requirements

Lasse M. Reinpold, Marvin Schieseck, Lukas P. Wagner, Felix Gehlhoff, Alexander Fay

Comments: Submitted to 3rd IEEE Industrial Electronics Society Annual Online Conference (ONCON)

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[133] arXiv:2411.11659 [pdf, html, other]

Title: Improving Data Curation of Software Vulnerability Patches through Uncertainty Quantification

Hui Chen, Yunhua Zhao, Kostadin Damevski

Subjects: Software Engineering (cs.SE)

[134] arXiv:2411.11892 [pdf, html, other]

Title: Green My LLM: Studying the key factors affecting the energy consumption of code assistants

Tristan Coignion, Clément Quinton, Romain Rouvoy

Comments: Submitted to JSS

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

[135] arXiv:2411.11908 [pdf, html, other]

Title: LLM4DS: Evaluating Large Language Models for Data Science Code Generation

Nathalia Nascimento, Everton Guimaraes, Sai Sanjna Chintakunta, Santhosh Anitha Boominathan

Comments: 11 pages

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

[136] arXiv:2411.12137 [pdf, html, other]

Title: Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering

Mehil B Shah, Mohammad Masudur Rahman, Foutse Khomh

Comments: Submitted to Empirical Software Engineering Journal

Subjects: Software Engineering (cs.SE)

[137] arXiv:2411.12357 [pdf, html, other]

Title: A Layered Architecture for Developing and Enhancing Capabilities in Large Language Model-based Software Systems

Dawen Zhang, Xiwei Xu, Chen Wang, Zhenchang Xing, Robert Mao

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

[138] arXiv:2411.12380 [pdf, html, other]

Title: Instrumentation of Software Systems with OpenTelemetry for Software Visualization

Malte Hansen, Wilhelm Hasselbring

Comments: submitted to SSP 2024, see this https URL

Subjects: Software Engineering (cs.SE)

[139] arXiv:2411.12386 [pdf, html, other]

Title: Semi-Automatic Extraction of Formal Models from Object Oriented Code

P.H.M. van Spaendonck

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

[140] arXiv:2411.12644 [pdf, html, other]

Title: CodeXEmbed: A Generalist Embedding Model Family for Multiligual and Multi-task Code Retrieval

Ye Liu, Rui Meng, Shafiq Joty, Silvio Savarese, Caiming Xiong, Yingbo Zhou, Semih Yavuz

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

[141] arXiv:2411.12650 [pdf, other]

Title: Optimizing Airline Reservation Systems with Edge-Enabled Microservices: A Framework for Real-Time Data Processing and Enhanced User Responsiveness

Biman Barua, M. Shamim Kaiser

Comments: 22 pages, 11 figures

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Computation and Language (cs.CL); Distributed, Parallel, and Cluster Computing (cs.DC)

[142] arXiv:2411.12740 [pdf, html, other]

Title: WIA-SZZ: Work Item Aware SZZ

Salomé Perez-Rosero, Robert Dyer, Samuel W. Flint, Shane McIntosh, Witawas Srisa-an

Subjects: Software Engineering (cs.SE)

[143] arXiv:2411.12749 [pdf, html, other]

Title: Predicting Lemmas in Generalization of IC3

Yuheng Su, Qiusong Yang, Yiwei Ci

Subjects: Software Engineering (cs.SE)

[144] arXiv:2411.12924 [pdf, html, other]

Title: Human-In-the-Loop Software Development Agents

Wannita Takerngsaksiri, Jirat Pasuksmit, Patanamon Thongtanunam, Chakkrit Tantithamthavorn, Ruixiong Zhang, Fan Jiang, Jing Li, Evan Cook, Kun Chen, Ming Wu

Comments: 10 pages, 9 figures, ICSE SEIP 2025

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

[145] arXiv:2411.13017 [pdf, html, other]

Title: Breaking the Cycle of Recurring Failures: Applying Generative AI to Root Cause Analysis in Legacy Banking Systems

Siyuan Jin, Zhendong Bei, Bichao Chen, Yong Xia

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

[146] arXiv:2411.13200 [pdf, html, other]

Title: Guided Object-Oriented Development

Harrie Passier, Lex Bijlsma, Ruurd Kuiper, Kees Huizing

Comments: 36 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[147] arXiv:2411.13269 [pdf, html, other]

Title: Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Minal Suresh Patil, Gustav Ung, Mattias Nyberg

Comments: 21 pages, 2 figures

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

[148] arXiv:2411.13323 [pdf, html, other]

Title: Are Large Language Models Memorizing Bug Benchmarks?

Daniel Ramos, Claudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues

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

[149] arXiv:2411.13346 [pdf, html, other]

Title: Gaze2AOI: Open Source Deep-learning Based System for Automatic Area of Interest Annotation with Eye Tracking Data

Karolina Trajkovska, Matjaž Kljun, Klen Čopič Pucihar

Subjects: Software Engineering (cs.SE)

[150] arXiv:2411.13547 [pdf, html, other]

Title: SpecTool: A Benchmark for Characterizing Errors in Tool-Use LLMs

Shirley Kokane, Ming Zhu, Tulika Awalgaonkar, Jianguo Zhang, Thai Hoang, Akshara Prabhakar, Zuxin Liu, Tian Lan, Liangwei Yang, Juntao Tan, Rithesh Murthy, Weiran Yao, Zhiwei Liu, Juan Carlos Niebles, Huan Wang, Shelby Heinecke, Caiming Xiong, Silivo Savarese

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

[151] arXiv:2411.13611 [pdf, html, other]

Title: DSTC: Direct Preference Learning with Only Self-Generated Tests and Code to Improve Code LMs

Zhihan Liu, Shenao Zhang, Yongfei Liu, Boyi Liu, Yingxiang Yang, Zhaoran Wang

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

[152] arXiv:2411.13614 [pdf, html, other]

Title: Verification and Validation of Autonomous Systems

Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla

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

[153] arXiv:2411.13722 [pdf, html, other]

Title: A Systematic Literature Review on a Decade of Industrial TLA+ Practice

Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer

Comments: for accompanying data, see this https URL

Journal-ref: Integrated Formal Methods, IFM 2024, LNCS 15234 (2025), pp 24-34

Subjects: Software Engineering (cs.SE)

[154] arXiv:2411.13768 [pdf, html, other]

Title: Evaluation-Driven Development of LLM Agents: A Process Model and Reference Architecture

Boming Xia, Qinghua Lu, Liming Zhu, Zhenchang Xing, Dehai Zhao, Hao Zhang

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

[155] arXiv:2411.13777 [pdf, html, other]

Title: Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?

Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman

Subjects: Software Engineering (cs.SE)

[156] arXiv:2411.13941 [pdf, other]

Title: LLMs as Continuous Learners: Improving the Reproduction of Defective Code in Software Issues

Yalan Lin, Yingwei Ma, Rongyu Cao, Binhua Li, Fei Huang, Xiaodong Gu, Yongbin Li

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

[157] arXiv:2411.13950 [pdf, html, other]

Title: A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism

Kiev Gama, Grischa Liebel, Miguel Goulão, Aline Lacerda, Cristiana Lacerda

Subjects: Software Engineering (cs.SE)

[158] arXiv:2411.13990 [pdf, html, other]

Title: Repository-level Code Translation Benchmark Targeting Rust

Guangsheng Ou, Mingwei Liu, Yuxuan Chen, Xin Peng, Zibin Zheng

Subjects: Software Engineering (cs.SE)

[159] arXiv:2411.14174 [pdf, other]

Title: Translating C To Rust: Lessons from a User Study

Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu

Comments: Accepted by NDSS Symposium 2025. Please cite the conference version of this paper, e.g., "Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu. Translating C To Rust: Lessons from a User Study. In 32nd Annual Network and Distributed System Security Symposium (NDSS 2025)."

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

[160] arXiv:2411.14303 [pdf, html, other]

Title: BugSpotter: Automated Generation of Code Debugging Exercises

Victor-Alexandru Pădurean, Paul Denny, Adish Singla

Comments: Preprint of the SIGCSE'25 paper

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

[161] arXiv:2411.14367 [pdf, other]

Title: ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

Maryam Ghaffari Saadat (University of Manchester), Angelo Ferrando (University of Modena and Reggio Emilia), Louise A. Dennis (University of Manchester), Michael Fisher (University of Manchester)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 38-55

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

[162] arXiv:2411.14372 [pdf, other]

Title: A Case Study on Numerical Analysis of a Path Computation Algorithm

Grégoire Boussu (Thales Research and Technology), Nikolai Kosmatov (Thales Research and Technology), Franck Védrine (Université Paris-Saclay, CEA, List)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 126-142

Subjects: Software Engineering (cs.SE)

[163] arXiv:2411.14503 [pdf, html, other]

Title: Planning-Driven Programming: A Large Language Model Programming Workflow

Chao Lei, Yanchuan Chang, Nir Lipovetzky, Krista A. Ehinger

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

[164] arXiv:2411.14513 [pdf, html, other]

Title: Towards a Middleware for Large Language Models

Narcisa Guran, Florian Knauf, Man Ngo, Stefan Petrescu, Jan S. Rellermeyer

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

[165] arXiv:2411.14520 [pdf, other]

Title: Open Challenges in the Formal Verification of Autonomous Driving

Paolo Burgio (University of Modena and Reggio Emilia), Angelo Ferrando (University of Modena and Reggio Emilia), Marco Villani (University of Modena and Reggio Emilia)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 191-200

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Robotics (cs.RO)

[166] arXiv:2411.14611 [pdf, html, other]

Title: CodeSAM: Source Code Representation Learning by Infusing Self-Attention with Multi-Code-View Graphs

Alex Mathai, Kranthi Sedamaki, Debeshee Das, Noble Saji Mathews, Srikanth Tamilselvam, Sridhar Chimalakonda, Atul Kumar

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

[167] arXiv:2411.14894 [pdf, html, other]

Title: The Dynamics of Innovation in Open Source Software Ecosystems

Gábor Mészáros, Johannes Wachs

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[168] arXiv:2411.15143 [pdf, html, other]

Title: dafny-annotator: AI-Assisted Verification of Dafny Programs

Gabriel Poesia, Chloe Loughridge, Nada Amin

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

[169] arXiv:2411.15354 [pdf, html, other]

Title: Unified Semantic Log Parsing and Causal Graph Construction for Attack Attribution

Zhuoran Tan, Christos Anagnostopoulos, Shameem P. Parambath, Jeremy Singer

Subjects: Software Engineering (cs.SE)

[170] arXiv:2411.15368 [pdf, html, other]

Title: The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages

Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró

Comments: Accepted by ICSE'25 Research Track

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

[171] arXiv:2411.15470 [pdf, other]

Title: A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks

Rohit Dandamudi, Gema Rodríguez-Pérez

Comments: 5 pages, ASEW 2024

Journal-ref: ASEW 2024: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, Pages 94 - 99

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

[172] arXiv:2411.15501 [pdf, html, other]

Title: Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering

Tanghaoran Zhang, Yue Yu, Xinjun Mao, Shangwen Wang, Kang Yang, Yao Lu, Zhang Zhang, Yuxin Zhao

Comments: 12 pages, 10 figures, accepted by ICSE 2025

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

[173] arXiv:2411.15502 [pdf, other]

Title: Challenges in Comparing Code Maintainability across Different Programming Languages

Christophe Ponsard, Gustavo Ospina, Denis Darquennes

Comments: Extended abstract and poster presented at BENEVOL 2024

Subjects: Software Engineering (cs.SE)

[174] arXiv:2411.15587 [pdf, html, other]

Title: ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation

Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao

Subjects: Software Engineering (cs.SE)

[175] arXiv:2411.15631 [pdf, html, other]

Title: Understanding and Estimating the Execution Time of Quantum Programs

Ning Ma, Heng Li

Subjects: Software Engineering (cs.SE)