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)