Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Software Engineering

Authors and titles for recent submissions

See today's new changes

Total of 73 entries : 1-50 51-73
Showing up to 50 entries per page: fewer | more | all

Fri, 22 Nov 2024 (showing 14 of 14 entries )

[1] 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)
[2] 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)
[3] arXiv:2411.14303 [pdf, html, other]
Title: 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)
[4] 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)
[5] arXiv:2411.13990 [pdf, html, other]
Title: Repository-level Code Translation Benchmark Targeting Rust
Guangsheng Ou, Mingwei Liu, Yuxuan Chen, Xing Peng, Zibin Zheng
Subjects: Software Engineering (cs.SE)
[6] 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)
[7] 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)
[8] 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)
[9] arXiv:2411.13768 [pdf, html, other]
Title: An Evaluation-Driven Approach to Designing LLM Agents: Process and Architecture
Boming Xia, Qinghua Lu, Liming Zhu, Zhenchang Xing, Dehai Zhao, Hao Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[10] 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)
[11] 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)
[12] 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)
[13] arXiv:2411.14369 (cross-list from cs.RO) [pdf, other]
Title: Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti
Comments: In Proceedings FMAS2024, arXiv:2411.13215
Journal-ref: EPTCS 411, 2024, pp. 91-108
Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA); Software Engineering (cs.SE)
[14] arXiv:2411.14368 (cross-list from cs.AI) [pdf, other]
Title: RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
Andrea Gatti (University of Genoa), Viviana Mascardi (University of Genoa), Angelo Ferrando (University of Modena and Reggio Emilia)
Comments: In Proceedings FMAS2024, arXiv:2411.13215
Journal-ref: EPTCS 411, 2024, pp. 73-90
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

Thu, 21 Nov 2024 (showing 11 of 11 entries )

[15] 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)
[16] 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)
[17] 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
Comments: pre-print
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[18] 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)
[19] 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)
[20] 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)
[21] 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
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[22] arXiv:2411.12749 [pdf, html, other]
Title: Predicting Lemmas in Generalization of IC3
Yuheng Su, Qiusong Yang, Yiwei Ci
Subjects: Software Engineering (cs.SE)
[23] arXiv:2411.13125 (cross-list from cs.LO) [pdf, html, other]
Title: An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
Comments: 22 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[24] arXiv:2411.12882 (cross-list from cs.CR) [pdf, html, other]
Title: ProSec: Fortifying Code LLMs with Proactive Security Alignment
Xiangzhe Xu, Zian Su, Jinyao Guo, Kaiyuan Zhang, Zhenting Wang, Xiangyu Zhang
Comments: The first two authors contributed equally to this work
Subjects: Cryptography and Security (cs.CR); Computation and Language (cs.CL); Software Engineering (cs.SE)
[25] arXiv:2411.12758 (cross-list from cs.CL) [pdf, html, other]
Title: An exploration of the effect of quantisation on energy consumption and inference time of StarCoder2
Pepijn de Reus, Ana Oprescu, Jelle Zuidema
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

Wed, 20 Nov 2024 (showing 10 of 10 entries )

[26] 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)
[27] 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)
[28] 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 Jot, Silvio Savarese, Caiming Xiong, Yingbo Zhou, Semih Yavuz
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[29] 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)
[30] 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)
[31] 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)
[32] 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)
[33] 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)
[34] 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)
[35] arXiv:2411.12032 (cross-list from cs.LG) [pdf, other]
Title: Machine Learning Evaluation Metric Discrepancies across Programming Languages and Their Components: Need for Standardization
Mohammad R. Salmanpour, Morteza Alizadeh, Ghazal Mousavi, Saba Sadeghi, Sajad Amiri, Mehrdad Oveisi, Arman Rahmim, Ilker Hacihaliloglu
Comments: This paper is 12 pages with 1 table and 10 figures
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Computational Physics (physics.comp-ph)

Tue, 19 Nov 2024 (showing first 15 of 27 entries )

[36] 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)
[37] 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)
[38] arXiv:2411.11532 [pdf, html, other]
Title: A Code Knowledge Graph-Enhanced System for LLM-Based Fuzz Driver Generation
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)
[39] 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)
[40] 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)
[41] 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)
[42] 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)
[43] 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)
[44] arXiv:2411.10895 [pdf, html, other]
Title: Evolution of IVR building techniques: from code writing to AI-powered automation
Khushbu Mehboob Shaikh, Georgios Giannakopoulos
Comments: 6 pages, 3 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[45] arXiv:2411.10890 [pdf, html, other]
Title: An Empirical Investigation on the Challenges in Scientific Workflow Systems Development
Khairul Alam, Chanchal Roy, Banani Roy, Kartik Mittal
Comments: 36 pages, 8 figures
Subjects: Software Engineering (cs.SE)
[46] arXiv:2411.10877 [pdf, html, other]
Title: Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Coding
Trevor Stalnaker, Nathan Wintersgill, Oscar Chaparro, Laura A. Heymann, Massimiliano Di Penta, Daniel M German, Denys Poshyvanyk
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[47] arXiv:2411.10873 [pdf, html, other]
Title: Developer Challenges on Large Language Models: A Study of Stack Overflow and OpenAI Developer Forum Posts
Khairul Alam, Kartik Mittal, Banani Roy, Chanchal Roy
Comments: 52 pages, 6 figures
Subjects: Software Engineering (cs.SE)
[48] arXiv:2411.10842 [pdf, html, other]
Title: CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit
Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Shing-Chi Cheung
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[49] arXiv:2411.10837 [pdf, other]
Title: Towards a Generic Software Architecture for IoT Systems
Yousef Abuseta
Comments: 15 pages, 7 figures
Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.15, No.6, November 2024
Subjects: Software Engineering (cs.SE)
[50] arXiv:2411.10753 [pdf, other]
Title: Chain-of-Programming (CoP) : Empowering Large Language Models for Geospatial Code Generation
Shuyang Hou, Haoyue Jiao, Zhangxiao Shen, Jianyuan Liang, Anqi Zhao, Xiaopu Zhang, Jianxun Wang, Huayi Wu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
Total of 73 entries : 1-50 51-73
Showing up to 50 entries per page: fewer | more | all