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 March 2025

Total of 419 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:2503.00148 [pdf, html, other]
Title: Model-based Elaboration of a Requirements and Design Pattern Catalogue for Sustainable Systems
Christophe Ponsard
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[2] arXiv:2503.00271 [pdf, html, other]
Title: Why Johnny Signs with Sigstore: Examining Tooling as a Factor in Software Signing Adoption in the Sigstore Ecosystem
Kelechi G. Kalu, Sofia Okorafor, Tanmay Singla, Santiago Torres-Arias, James C. Davis
Comments: 21 Pages
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[3] arXiv:2503.00481 [pdf, html, other]
Title: Challenges in Testing Large Language Model Based Software: A Faceted Taxonomy
Felix Dobslaw, Robert Feldt, Juyeon Yoon, Shin Yoo
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[4] arXiv:2503.00483 [pdf, html, other]
Title: Interacting with AI Reasoning Models: Harnessing "Thoughts" for AI-Driven Software Engineering
Christoph Treude, Raula Gaikovina Kula
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[5] arXiv:2503.00618 [pdf, html, other]
Title: Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
Ruixin Wang, Zhongkai Zhao, Le Fang, Nan Jiang, Yiling Lou, Lin Tan, Tianyi Zhang
Comments: 27 pages, 8 figures, OOPSLA 2025
Journal-ref: Proc. ACM Program. Lang. 9, OOPSLA1, Article 145 (April 2025)
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[6] arXiv:2503.00660 [pdf, html, other]
Title: An Empirical Study on the Classification of Bug Reports with Machine Learning
Renato Andrade, César Teixeira, Nuno Laranjeiro, Marco Vieira
Subjects: Software Engineering (cs.SE)
[7] arXiv:2503.00673 [pdf, other]
Title: Towards Refining Developer Questions using LLM-Based Named Entity Recognition for Developer Chatroom Conversations
Pouya Fathollahzadeh, Mariam El Mezouar, Hao Li, Ying Zou, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[8] arXiv:2503.00686 [pdf, html, other]
Title: GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
Leming Shen, Qiang Yang, Xinyu Huang, Zijing Ma, Yuanqing Zheng
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[9] arXiv:2503.00691 [pdf, html, other]
Title: How Diversely Can Language Models Solve Problems? Exploring the Algorithmic Diversity of Model-Generated Code
Seonghyeon Lee, Heejae Chon, Joonwon Jang, Dongha Lee, Hwanjo Yu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[10] arXiv:2503.00795 [pdf, html, other]
Title: Towards Reliable LLM-Driven Fuzz Testing: Vision and Road Ahead
Yiran Cheng, Hong Jin Kang, Lwin Khin Shar, Chaopeng Dong, Zhiqiang Shi, Shichao Lv, Limin Sun
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[11] arXiv:2503.00944 [pdf, html, other]
Title: B-OCL: An Object Constraint Language Interpreter in Python
Fitash Ul Haq, Jordi Cabot
Subjects: Software Engineering (cs.SE)
[12] arXiv:2503.01098 [pdf, html, other]
Title: SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair
Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao, Lei Xue, Xiapu Luo, Xiao-Ming Wu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[13] arXiv:2503.01138 [pdf, html, other]
Title: A Novel Interactive-Guided Differential Testing Approach for FPGA Simulation Debugger Tools
Shikai Guo, Xiaoyu Wang, Xiaochen Li, Zhihao Xu, He Jiang
Subjects: Software Engineering (cs.SE)
[14] arXiv:2503.01245 [pdf, html, other]
Title: Large Language Models for Code Generation: A Comprehensive Survey of Challenges, Techniques, Evaluation, and Applications
Nam Huynh, Beiyu Lin
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[15] arXiv:2503.01295 [pdf, html, other]
Title: CodeArena: A Collective Evaluation Platform for LLM Code Generation
Mingzhe Du, Anh Tuan Luu, Bin Ji, Xiaobao Wu, Dong Huang, Terry Yue Zhuo, Qian Liu, See-Kiong Ng
Subjects: Software Engineering (cs.SE)
[16] arXiv:2503.01319 [pdf, html, other]
Title: ABFS: Natural Robustness Testing for LLM-based NLP Software
Mingxuan Xiao, Yan Xiao, Shunhui Ji, Yunhe Li, Lei Xue, Pengcheng Zhang
Subjects: Software Engineering (cs.SE)
[17] arXiv:2503.01449 [pdf, html, other]
Title: Benchmarking Large Language Models for Multi-Language Software Vulnerability Detection
Ting Zhang, Chengran Yang, Yindu Su, Martin Weyssow, Hung Nguyen, Tan Bui, Hong Jin Kang, Yikun Li, Eng Lieh Ouh, Lwin Khin Shar, David Lo
Subjects: Software Engineering (cs.SE)
[18] arXiv:2503.01816 [pdf, html, other]
Title: A Mapping Analysis of Requirements Between the CRA and the GDPR
Jukka Ruohonen, Kalle Hjerppe, Eun-Young Kang
Comments: Submitted to RE@Next!
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[19] arXiv:2503.01828 [pdf, html, other]
Title: A Scenario Analysis of Ethical Issues in Dark Patterns and Their Research
Jukka Ruohonen, Jani Koskinen, Søren Harnow Klausen, Anne Gerdes
Comments: Submitted to IST
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[20] arXiv:2503.02049 [pdf, html, other]
Title: USeR: A Web-based User Story eReviewer for Assisted Quality Optimizations
Daniel Hallmann, Kerstin Jacob, Gerald Lüttgen, Ute Schmid, Rüdiger von der Weth
Comments: 12 pages
Subjects: Software Engineering (cs.SE)
[21] arXiv:2503.02091 [pdf, html, other]
Title: Which Code Statements Implement Privacy Behaviors in Android Applications?
Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, Sai Teja Peddinti, Collin McMillan
Comments: 16 pages, 8 figures, under review
Subjects: Software Engineering (cs.SE)
[22] arXiv:2503.02191 [pdf, other]
Title: Understanding and Predicting Derailment in Toxic Conversations on GitHub
Mia Mohammad Imran, Robert Zita, Rebekah Copeland, Preetha Chatterjee, Rahat Rizvi Rahman, Kostadin Damevski
Subjects: Software Engineering (cs.SE)
[23] arXiv:2503.02232 [pdf, html, other]
Title: A Purpose-oriented Study on Open-source Software Commits and Their Impacts on Software Quality
Jincheng He, Zhongheng He
Subjects: Software Engineering (cs.SE)
[24] arXiv:2503.02246 [pdf, html, other]
Title: From Code to Courtroom: LLMs as the New Software Judges
Junda He, Jieke Shi, Terry Yue Zhuo, Christoph Treude, Jiamou Sun, Zhenchang Xing, Xiaoning Du, David Lo
Subjects: Software Engineering (cs.SE)
[25] arXiv:2503.02301 [pdf, html, other]
Title: Towards Large Language Model Guided Kernel Direct Fuzzing
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang
Subjects: Software Engineering (cs.SE)
[26] arXiv:2503.02335 [pdf, html, other]
Title: Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
Renshuang Jiang, Pan Dong, Zhenling Duan, Yu Shi, Xiaoxiang Fang, Yan Ding, Jun Ma, Shuai Zhao, Zhe Jiang
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[27] arXiv:2503.02400 [pdf, html, other]
Title: Promptware Engineering: Software Engineering for LLM Prompt Development
Zhenpeng Chen, Chong Wang, Weisong Sun, Guang Yang, Xuanzhe Liu, Jie M. Zhang, Yang Liu
Subjects: Software Engineering (cs.SE)
[28] arXiv:2503.02413 [pdf, html, other]
Title: PANTHER: Pluginizable Testing Environment for Network Protocols
Christophe Crochet, John Aoga, Axel Legay
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Symbolic Computation (cs.SC)
[29] arXiv:2503.02497 [pdf, html, other]
Title: PennyLang: Pioneering LLM-Based Quantum Code Generation with a Novel PennyLane-Centric Dataset
Haider Asif, Abdul Basit, Nouhaila Innan, Muhammad Kashif, Alberto Marchisio, Muhammad Shafique
Comments: 10 pages, 8 figures, 6 tables, submitted for review under IJCNN 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)
[30] arXiv:2503.02610 [pdf, html, other]
Title: Do you monitor CI Practices? I don't know. You tell me: A case study
Jadson Santos, Daniel Alencar da Costa, Uirá Kulesza
Subjects: Software Engineering (cs.SE)
[31] arXiv:2503.02651 [pdf, other]
Title: Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development
Casper Lassenius, Torgeir Dingsøyr
Subjects: Software Engineering (cs.SE)
[32] arXiv:2503.02804 [pdf, html, other]
Title: Rethinking Reuse in Dependency Supply Chains: Initial Analysis of NPM packages at the End of the Chain
Raula Gaikovina Kula, Brittany Anne Reid
Comments: Submitted to SE 2030 Software Engineering Roadmap Workshop
Subjects: Software Engineering (cs.SE)
[33] arXiv:2503.02817 [pdf, html, other]
Title: Open Source at a Crossroads: The Future of Licensing Driven by Monetization
Raula Gaikovina Kula, Christoph Treude
Comments: Submitted to SE 2030 Software Engineering Roadmap Workshop
Subjects: Software Engineering (cs.SE)
[34] arXiv:2503.02833 [pdf, html, other]
Title: The Shift from Writing to Pruning Software: A Bonsai-Inspired IDE for Reshaping AI Generated Code
Raula Gaikovina Kula, Christoph Treude
Comments: Submitted to SE 2030 Software Engineering Roadmap Workshop
Subjects: Software Engineering (cs.SE)
[35] arXiv:2503.02911 [pdf, html, other]
Title: Text2Scenario: Text-Driven Scenario Generation for Autonomous Driving Test
Xuan Cai, Xuesong Bai, Zhiyong Cui, Danmu Xie, Daocheng Fu, Haiyang Yu, Yilong Ren
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[36] arXiv:2503.03114 [pdf, html, other]
Title: PromAssistant: Leveraging Large Language Models for Text-to-PromQL
Chenxi Zhang, Bicheng Zhang, Dingyu Yang, Xin Peng, Miao Chen, Senyu Xie, Gang Chen, Wei Bi, Wei Li
Subjects: Software Engineering (cs.SE)
[37] arXiv:2503.03158 [pdf, html, other]
Title: A Systematic Survey on Debugging Techniques for Machine Learning Systems
Thanh-Dat Nguyen, Haoye Tian, Bach Le, Patanamon Thongtanunam, Shane McIntosh
Subjects: Software Engineering (cs.SE)
[38] arXiv:2503.03455 [pdf, html, other]
Title: Towards Continuous Experiment-driven MLOps
Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnetynka, Tomáš Bureš, Gerard Pons, Besim Bilalli, Anna Queralt
Subjects: Software Engineering (cs.SE)
[39] arXiv:2503.03534 [pdf, html, other]
Title: Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
Milin Patel, Rolf Jung
Comments: SAE MobilityRxiv Preprint, 2023
Journal-ref: SAE MobilityRxiv Preprint, 2023
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[40] arXiv:2503.03537 [pdf, html, other]
Title: Using CognitIDE to Capture Developers' Cognitive Load via Physiological Activity During Everyday Software Development Tasks
Fabian Stolp, Charlotte Brandebusemeyer, Franziska Hradilak, Lara Kursawe, Magnus Menger, Franz Sauerwald, Bert Arnrich
Subjects: Software Engineering (cs.SE)
[41] arXiv:2503.03609 [pdf, html, other]
Title: Enhancing the Accuracy and Comprehensibility in Architectural Tactics Detection via Small Model-Augmented Prompt Engineering
Lingli Cao, He Zhang, Shanshan Li, Danyang Li, Yanjing Yang, Chenxing Zhong, Xin Zhou, Yue Xie
Subjects: Software Engineering (cs.SE)
[42] arXiv:2503.03656 [pdf, html, other]
Title: Robust Learning of Diverse Code Edits
Tushar Aggarwal, Swayam Singh, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[43] arXiv:2503.03951 [pdf, other]
Title: WIP: Assessing the Effectiveness of ChatGPT in Preparatory Testing Activities
Susmita Haldar, Mary Pierce, Luiz Fernando Capretz
Comments: 5 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[44] arXiv:2503.03988 [pdf, html, other]
Title: AI-based Programming Assistants for Privacy-related Code Generation: The Developers' Experience
Kashumi Madampe, John Grundy, Nalin Arachchilage
Subjects: Software Engineering (cs.SE)
[45] arXiv:2503.04002 [pdf, html, other]
Title: Deep Learning Aided Software Vulnerability Detection: A Survey
Md Nizam Uddin, Yihe Zhang, Xiali Hei
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[46] arXiv:2503.04003 [pdf, html, other]
Title: Understanding and Detecting Compatibility Issues in Android Auto Apps
Moshood Fakorede, Umar Farooq
Comments: 12 pages, 9 tables
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[47] arXiv:2503.04008 [pdf, other]
Title: Revisiting Abstractions for Software Architecture and Tools to Support Them
Mary Shaw, Daniel V. Klein, Theodore L. Ross
Comments: 6 pages, 1 figure. To be published in IEEE Transactions on Software Engineering, March 2025
Subjects: Software Engineering (cs.SE)
[48] arXiv:2503.04022 [pdf, other]
Title: Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
Mary Shaw
Comments: 4 pages, 2 figures. To appear in Proc 2nd Int'l Workshop on Designing Software (Designing 2025) at ICSE 2023, April 2025
Subjects: Software Engineering (cs.SE)
[49] arXiv:2503.04076 [pdf, html, other]
Title: Beyond Memorization: Evaluating the True Type Inference Capabilities of LLMs for Java Code Snippets
Yiwen Dong, Zhenyang Xu, Yongqiang Tian, Chengnian Sun
Comments: under review
Subjects: Software Engineering (cs.SE)
[50] arXiv:2503.04149 [pdf, html, other]
Title: Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination
Simin Chen, Pranav Pusarla, Baishakhi Ray
Comments: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[51] arXiv:2503.04214 [pdf, html, other]
Title: Extracting Fix Ingredients using Language Models
Julian Aron Prenner, Romain Robbes
Subjects: Software Engineering (cs.SE)
[52] arXiv:2503.04241 [pdf, other]
Title: ThrowBench: Benchmarking LLMs by Predicting Runtime Exceptions
Julian Aron Prenner, Romain Robbes
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[53] arXiv:2503.04265 [pdf, html, other]
Title: From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
J. Eduardo Ferreira Ribeiro, Mário Zenha-Rela, João Gabriel Silva
Comments: This paper consists of 15 pages and includes 5 figures
Subjects: Software Engineering (cs.SE)
[54] arXiv:2503.04301 [pdf, other]
Title: Simple Fault Localization using Execution Traces
Julian Aron Prenner, Romain Robbes
Subjects: Software Engineering (cs.SE)
[55] arXiv:2503.04359 [pdf, html, other]
Title: LONGCODEU: Benchmarking Long-Context Language Models on Long Code Understanding
Jia Li, Xuyuan Guo, Lei Li, Kechi Zhang, Ge Li, Jia Li, Zhengwei Tao, Fang Liu, Chongyang Tao, Yuqi Zhu, Zhi Jin
Comments: 18 pages
Subjects: Software Engineering (cs.SE)
[56] arXiv:2503.04460 [pdf, html, other]
Title: Exit the Code: A Model for Understanding Career Abandonment Intention Among Software Developers
Tiago Massoni, Ricardo Duarte, Ruan Oliveira
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[57] arXiv:2503.04506 [pdf, html, other]
Title: Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study
Nenad Petrovic, Yurui Zhang, Moaad Maaroufi, Kuo-Yi Chao, Lukasz Mazur, Fengjunjie Pan, Vahid Zolfaghari, Alois Knoll
Comments: Conference paper accepted for IntelliSys2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[58] arXiv:2503.04576 [pdf, html, other]
Title: Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences
Emily Vorderwülbeke, Isabella Graßl
Comments: 12 pages, will be presented at ICSE25
Subjects: Software Engineering (cs.SE)
[59] arXiv:2503.04596 [pdf, html, other]
Title: The Next Frontier of LLM Applications: Open Ecosystems and Hardware Synergy
Xinyi Hou, Yanjie Zhao, Haoyu Wang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[60] arXiv:2503.04810 [pdf, html, other]
Title: Network Simulator-centric Compositional Testing
Tom Rousseaux, Christophe Crochet, John Aoga, Axel Legay
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Symbolic Computation (cs.SC)
[61] arXiv:2503.04921 [pdf, html, other]
Title: PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
Armin Ariamajd, Raquel López-Ríos de Castro, Andrea Volkamer
Comments: 16 pages, 5 figures, 8 tables
Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
[62] arXiv:2503.04928 [pdf, html, other]
Title: AUTOFRAME -- A Software-driven Integration Framework for Automotive Systems
Sven Kirchner, Nils Purschke, Chengdong Wu, Muhammed Aqib Khan, Divye Dixit, Alois C. Knoll
Comments: 8 pages; Accepted for publication at the 27th International Conference on Intelligent Transportation Systems (ITSC), Edmonton, Canada, September 24-27, 2024
Subjects: Software Engineering (cs.SE)
[63] arXiv:2503.05012 [pdf, html, other]
Title: LLMs' Reshaping of People, Processes, Products, and Society in Software Development: A Comprehensive Exploration with Early Adopters
Benyamin Tabarsi, Heidi Reichert, Ally Limke, Sandeep Kuttal, Tiffany Barnes
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[64] arXiv:2503.05040 [pdf, html, other]
Title: No Silver Bullets: Why Understanding Software Cycle Time is Messy, Not Magic
John C. Flournoy, Carol S. Lee, Maggie Wu, Catherine M. Hicks
Subjects: Software Engineering (cs.SE)
[65] arXiv:2503.05070 [pdf, html, other]
Title: PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh K Sharma, Jonathan De Halleux, Shraddha Barke, Benjamin Zorn
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[66] arXiv:2503.05102 [pdf, other]
Title: AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models
Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, WenSheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan
Comments: 15 pages, 4 figures, Under review
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Cryptography and Security (cs.CR)
[67] arXiv:2503.05240 [pdf, html, other]
Title: Mining Q&A Platforms for Empirical Evidence on Quantum Software Programming
Arif Ali Khan, Boshuai Ye, Muhammad Azeem Akbar, Javed Ali Khan, Davoud Mougouei, Xinyuan Ma
Subjects: Software Engineering (cs.SE)
[68] arXiv:2503.05378 [pdf, html, other]
Title: A Survey on Web Testing: On the Rise of AI and Applications in Industry
Iva Kertusha, Gebremariem Assress, Onur Duman, Andrea Arcuri
Comments: Survey, software engineering, web fuzzing, web testing, 47 pages, submitted to TOSEM
Subjects: Software Engineering (cs.SE)
[69] arXiv:2503.05394 [pdf, html, other]
Title: Static Program Analysis Guided LLM Based Unit Test Generation
Sujoy Roychowdhury, Giriprasad Sridhara, A K Raghavan, Joy Bose, Sourav Mazumdar, Hamender Singh, Srinivasan Bajji Sugumaran, Ricardo Britto
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[70] arXiv:2503.05449 [pdf, html, other]
Title: LLM-based Iterative Approach to Metamodeling in Automotive
Nenad Petrovic, Fengjunjie Pan, Vahid Zolfaghari, Alois Knoll
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[71] arXiv:2503.05470 [pdf, html, other]
Title: The Software Diversity Card: A Framework for Reporting Diversity in Software Projects
Joan Giner-Miguelez, Sergio Morales, Sergio Cobos, Javier Luis Canovas Izquierdo, Robert Clariso, Jordi Cabot
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[72] arXiv:2503.05479 [pdf, html, other]
Title: A Bot-based Approach to Manage Codes of Conduct in Open-Source Projects
Sergio Cobos, Javier Luis Cánovas Izquierdo
Comments: Accepted at the 2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS)
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[73] arXiv:2503.05561 [pdf, html, other]
Title: Test Case Generation for Dialogflow Task-Based Chatbots
Rocco Gianni Rapisarda, Davide Ginelli, Diego Clerissi, Leonardo Mariani
Comments: 10 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[74] arXiv:2503.05849 [pdf, other]
Title: Establishing tool support for a concept DSL
Nikolaj Kühne Jakobsen
Comments: 84 pages, 13 figures, 25 listings
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[75] arXiv:2503.05852 [pdf, html, other]
Title: Evaluating Large Language Models in Code Generation: INFINITE Methodology for Defining the Inference Index
Nicholas Christakis, Dimitris Drikakis
Comments: 20 pages, 6 figures
Journal-ref: Appl. Sci. 2025, 15, 3784
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[76] arXiv:2503.05860 [pdf, html, other]
Title: Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Enhancement Protocol
Roham Koohestani, Philippe de Bekker, Maliheh Izadi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[77] arXiv:2503.05945 [pdf, html, other]
Title: Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
Anastasios Antoniadis, Ilias Tsatiris, Nevill Grech, Yannis Smaragdakis
Subjects: Software Engineering (cs.SE)
[78] arXiv:2503.05992 [pdf, html, other]
Title: Psycholinguistic Analyses in Software Engineering Text: A Systematic Literature Review
Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Computers and Society (cs.CY)
[79] arXiv:2503.06193 [pdf, other]
Title: A Never-Ending Story: Revisiting Requirements Major Misunderstandings
Julio Cesar Leite
Journal-ref: Cadernos Do IME Serie Informatica 48 (2023)
Subjects: Software Engineering (cs.SE)
[80] arXiv:2503.06195 [pdf, html, other]
Title: Human-AI Experience in Integrated Development Environments: A Systematic Literature Review
Agnia Sergeyuk, Ilya Zakharov, Ekaterina Koshchenko, Maliheh Izadi
Comments: Submitted to Empirical Software Engineering (EMSE) special issue Human-Centered AI for Software Engineering (HumanAISE), 28 pages, 1 figure
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[81] arXiv:2503.06327 [pdf, html, other]
Title: Unveiling Inefficiencies in LLM-Generated Code: Toward a Comprehensive Taxonomy
Altaf Allah Abbassi, Leuson Da Silva, Amin Nikanjam, Foutse Khomh
Subjects: Software Engineering (cs.SE)
[82] arXiv:2503.06387 [pdf, html, other]
Title: R+R: Security Vulnerability Dataset Quality Is Critical
Anurag Swarnim Yadav, Joseph N. Wilson
Comments: 15 pages, 1 figure, 35 tables. To be published in Proceedings of the 2024 Annual Computer Security Applications Conference (ACSAC)
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[83] arXiv:2503.06400 [pdf, other]
Title: Curating Model Problems for Software Designing
Mary Shaw, Marian Petre
Comments: 2 pages. To appear in Proc 2nd Int'l Workshop on Designing Software (Designing 2025) at ICSE 2023, April 2025
Subjects: Software Engineering (cs.SE)
[84] arXiv:2503.06407 [pdf, other]
Title: Contrasting to spark creativity in software development teams
Marian Petre, Mary Shaw
Comments: 14 pages, 1 figure. To appear in IEEE Software
Subjects: Software Engineering (cs.SE)
[85] arXiv:2503.06422 [pdf, html, other]
Title: GenAI for Simulation Model in Model-Based Systems Engineering
Lin Zhang, Yuteng Zhang, Dusit Niyato, Lei Ren, Pengfei Gu, Zhen Chen, Yuanjun Laili, Wentong Cai, Agostino Bruzzone
Comments: This work has been submitted to the IEEE for possible publication
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[86] arXiv:2503.06510 [pdf, html, other]
Title: Less is More: Adaptive Program Repair with Bug Localization and Preference Learning
Zhenlong Dai, Bingrui Chen, Zhuoluo Zhao, Xiu Tang, Sai Wu, Chang Yao, Zhipeng Gao, Jingyuan Chen
Comments: accepted by AAAI2025 Oral
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[87] arXiv:2503.06643 [pdf, html, other]
Title: Is Your Benchmark (Still) Useful? Dynamic Benchmarking for Code Language Models
Batu Guan, Xiao Wu, Yuanyuan Yuan, Shaohua Li
Comments: 14 pages, 7 figures
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[88] arXiv:2503.06680 [pdf, html, other]
Title: FEA-Bench: A Benchmark for Evaluating Repository-Level Code Generation for Feature Implementation
Wei Li, Xin Zhang, Zhongxin Guo, Shaoguang Mao, Wen Luo, Guangyue Peng, Yangyu Huang, Houfeng Wang, Scarlett Li
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[89] arXiv:2503.06689 [pdf, other]
Title: DependEval: Benchmarking LLMs for Repository Dependency Understanding
Junjia Du, Yadi Liu, Hongcheng Guo, Jiawei Wang, Haojian Huang, Yunyi Ni, Zhoujun Li
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[90] arXiv:2503.07010 [pdf, html, other]
Title: ProjectEval: A Benchmark for Programming Agents Automated Evaluation on Project-Level Code Generation
Kaiyuan Liu, Youcheng Pan, Jing Li, Daojing He, Yang Xiang, Yexing Du, Tianrun Gao
Comments: 17 pages (9 Appendix pages), 4 figures, 7 tables
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[91] arXiv:2503.07079 [pdf, html, other]
Title: An Experience Report on Regression-Free Repair of Deep Neural Network Model
Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
Journal-ref: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023, pp.778-782
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[92] arXiv:2503.07080 [pdf, html, other]
Title: A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
Lázaro Costa, Susana Barbosa, Jácome Cunha
Comments: 19 pages, 2 figures, 3 tables. arXiv admin note: text overlap with arXiv:2308.00703
Subjects: Software Engineering (cs.SE)
[93] arXiv:2503.07103 [pdf, html, other]
Title: Quantizing Large Language Models for Code Generation: A Differentiated Replication
Alessandro Giagnorio, Antonio Mastropaolo, Saima Afrin, Massimiliano Di Penta, Gabriele Bavota
Subjects: Software Engineering (cs.SE)
[94] arXiv:2503.07169 [pdf, html, other]
Title: Reducing Friction in Cloud Migration of Services
Anders Sundelin, Javier Gonzalez-Huerta, Krzysztof Wnuk
Comments: Submitted to JSS In-Practice track Mars 8, 2025
Subjects: Software Engineering (cs.SE)
[95] arXiv:2503.07215 [pdf, html, other]
Title: Control Flow-Augmented Decompiler based on Large Language Model
Peipei Liu, Jian Sun, Li Chen, Zhaoteng Yan, Peizheng Zhang, Dapeng Sun, Dawei Wang, Dan Li
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[96] arXiv:2503.07222 [pdf, html, other]
Title: XMutant: XAI-based Fuzzing for Deep Learning Systems
Xingcheng Chen, Matteo Biagiola, Vincenzo Riccio, Marcelo d'Amorim, Andrea Stocco
Comments: 32 pages
Subjects: Software Engineering (cs.SE)
[97] arXiv:2503.07553 [pdf, html, other]
Title: Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers
Maximilian Seidler, Alexander Krause, Peter Ulbrich
Subjects: Software Engineering (cs.SE)
[98] arXiv:2503.07556 [pdf, html, other]
Title: Junior Software Developers' Perspectives on Adopting LLMs for Software Engineering: a Systematic Literature Review
Samuel Ferino, Rashina Hoda, John Grundy, Christoph Treude
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[99] arXiv:2503.07701 [pdf, other]
Title: Automated Benchmark Generation for Repository-Level Coding Tasks
Konstantinos Vergopoulos, Mark Niklas Müller, Martin Vechev
Comments: Accepted at DL4C@ICLR'25 and FMWild@ICLR'25
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[100] arXiv:2503.07800 [pdf, html, other]
Title: Using Large Language Models to Develop Requirements Elicitation Skills
Nelson Lojo (1), Rafael González (2), Rohan Philip (3), José Antonio Parejo (2), Amador Durán Toro (2), Armando Fox (1), Pablo Fernández (2) ((1) Univ. of California, Berkeley, CA, USA, (2) SCORE Lab, Univ. of Sevilla, Sevilla, Spain,(3) Oak Park High School, Oak Park, USA)
Subjects: Software Engineering (cs.SE)
[101] arXiv:2503.07870 [pdf, html, other]
Title: Personalized Code Readability Assessment: Are We There Yet?
Antonio Vitale, Emanuela Guglielmi, Rocco Oliveto, Simone Scalabrino
Subjects: Software Engineering (cs.SE)
[102] arXiv:2503.07927 [pdf, html, other]
Title: A Study to Evaluate the Impact of LoRA Fine-tuning on the Performance of Non-functional Requirements Classification
Xia Li, Allen Kim
Subjects: Software Engineering (cs.SE)
[103] arXiv:2503.07967 [pdf, html, other]
Title: Code Digital Twin: Empowering LLMs with Tacit Knowledge for Complex Software Maintenance
Xin Peng, Chong Wang, Mingwei Liu, Yiling Lou, Yijian Wu
Comments: A vision paper that will be continuously updated
Subjects: Software Engineering (cs.SE)
[104] arXiv:2503.08182 [pdf, html, other]
Title: Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
Philipp Straubinger, Marvin Kreis, Stephan Lukasczyk, Gordon Fraser
Subjects: Software Engineering (cs.SE)
[105] arXiv:2503.08228 [pdf, html, other]
Title: Investigating Execution-Aware Language Models for Code Optimization
Federico Di Menna, Luca Traini, Gabriele Bavota, Vittorio Cortellessa
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Performance (cs.PF)
[106] arXiv:2503.08263 [pdf, html, other]
Title: Analyzing the Usage of Donation Platforms for PyPI Libraries
Alexandros Tsakpinis, Alexander Pretschner
Comments: 6 pages, 3 figures
Subjects: Software Engineering (cs.SE)
[107] arXiv:2503.08464 [pdf, html, other]
Title: An Autonomous RL Agent Methodology for Dynamic Web UI Testing in a BDD Framework
Ali Hassaan Mughal
Comments: 9 pages, 1 graph, couple algorithms
Subjects: Software Engineering (cs.SE)
[108] arXiv:2503.08486 [pdf, other]
Title: Inferring Input Grammars from Code with Symbolic Parsing
Leon Bettscheider, Andreas Zeller
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[109] arXiv:2503.08532 [pdf, other]
Title: Bogus Bugs, Duplicates, and Revealing Comments: Data Quality Issues in NPR
Julian Aron Prenner, Romain Robbes
Subjects: Software Engineering (cs.SE)
[110] arXiv:2503.08552 [pdf, html, other]
Title: Continuous Observability Assurance in Cloud-Native Applications
Maria C. Borges, Sebastian Werner
Comments: 22nd IEEE International Conference on Software Architecture (ICSA'25) - Poster Track
Subjects: Software Engineering (cs.SE)
[111] arXiv:2503.08628 [pdf, html, other]
Title: From Expert to Novice: An Empirical Study on Software Architecture Explanations
Satrio Adi Rukmono, Filip Zamfirov, Lina Ochoa, Michel Chaudron
Subjects: Software Engineering (cs.SE)
[112] arXiv:2503.08641 [pdf, html, other]
Title: A Comprehensive Experimentation Framework for Energy-Efficient Design of Cloud-Native Applications
Sebastian Werner, Maria C. Borges, Karl Wolf, Stefan Tai
Comments: This work has been accepted to the 22nd IEEE International Conference on Software Architecture (ICSA'25)
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[113] arXiv:2503.08648 [pdf, other]
Title: GraphSense: Graph Embedding Based Code Suggestion Framework
H.R Navod Thisura Peiris
Comments: 5 pages and 10 figures
Subjects: Software Engineering (cs.SE)
[114] arXiv:2503.08738 [pdf, html, other]
Title: Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
Janis Zenkner, Tobias Sesterhenn, Christian Bartelt
Comments: Accepted at ICLR 2025 Workshop Deep Learning for Code
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[115] arXiv:2503.08845 [pdf, html, other]
Title: The road to Sustainable DevOps
Darwish Ahmad Herati, Maria Clara Aderne, Fabio Kon
Subjects: Software Engineering (cs.SE)
[116] arXiv:2503.08936 [pdf, html, other]
Title: Simulator Ensembles for Trustworthy Autonomous Driving Testing
Lev Sorokin, Matteo Biagiola, Andrea Stocco
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Robotics (cs.RO)
[117] arXiv:2503.08969 [pdf, html, other]
Title: Large Language Models-Aided Program Debloating
Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[118] arXiv:2503.09001 [pdf, other]
Title: I Felt Pressured to Give 100% All the Time: How Are Neurodivergent Professionals Being Included in Software Development Teams?
Nicoly da Silva Menezes, Thayssa Águila da Rocha, Lucas Samuel Santiago Camelo, Marcelle Pereira Mota
Comments: 10 pages, 2 figures
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[119] arXiv:2503.09002 [pdf, html, other]
Title: KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Operating Systems (cs.OS)
[120] arXiv:2503.09020 [pdf, html, other]
Title: Enhancing High-Quality Code Generation in Large Language Models with Comparative Prefix-Tuning
Yuan Jiang, Yujian Zhang, Liang Lu, Christoph Treude, Xiaohong Su, Shan Huang, Tiantian Wang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[121] arXiv:2503.09089 [pdf, html, other]
Title: LocAgent: Graph-Guided LLM Agents for Code Localization
Zhaoling Chen, Xiangru Tang, Gangda Deng, Fang Wu, Jialong Wu, Zhiwei Jiang, Viktor Prasanna, Arman Cohan, Xingyao Wang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[122] arXiv:2503.09189 [pdf, html, other]
Title: The Kieker Observability Framework Version 2
Shinhyung Yang, David Georg Reichelt, Reiner Jung, Marcel Hansson, Wilhelm Hasselbring
Comments: 5 pages, 2 figures, submitted and accepted to the Tool Artifact track of ICPE2025
Subjects: Software Engineering (cs.SE)
[123] arXiv:2503.09217 [pdf, html, other]
Title: Evaluating the Generalizability of LLMs in Automated Program Repair
Fengjie Li, Jiajun Jiang, Jiajun Sun, Hongyu Zhang
Comments: 5 pages, 1 figure, to be published in ICSE2025-NIER
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[124] arXiv:2503.09238 [pdf, html, other]
Title: Smart Feeding Station: Non-Invasive, Automated IoT Monitoring of Goodman's Mouse Lemurs in a Semi-Natural Rainforest Habitat
Jonas Peter, Victor Luder, Leyla Rivero Davis, Lukas Schulthess, Michele Magno
Comments: Accepted to IEEE International Instrumentation and Measurement Technology Conference(I2MTC) (6 pages)
Subjects: Software Engineering (cs.SE)
[125] arXiv:2503.09282 [pdf, html, other]
Title: A Case Study on Model Checking and Runtime Verification for Awkernel
Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki, Yuuki Takano
Subjects: Software Engineering (cs.SE)
[126] arXiv:2503.09385 [pdf, html, other]
Title: PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
Masoud Jamshidiyan Tehrani, Jinhan Kim, Paolo Tonella
Comments: This work will be published at the FSE 2025 demonstration track
Subjects: Software Engineering (cs.SE); Robotics (cs.RO); Systems and Control (eess.SY)
[127] arXiv:2503.09388 [pdf, html, other]
Title: Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
Katherine Dearstyne, Pedro (Tony)Alarcon Granadeno, Theodore Chambers, Jane Cleland-Huang
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[128] arXiv:2503.09463 [pdf, html, other]
Title: Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
Benedict Short, Ian McInerney, John Wickerson
Comments: Accepted for presentation at the 5th Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE'25), March 30, 2025, Rotterdam, Netherlands
Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[129] arXiv:2503.09466 [pdf, other]
Title: Validity in Design Science
K. Larsen, R. Lukyanenko, Roland M. Mueller, V. Storey, J. Parsons, D. Vandermeer, D. Hovorka
Subjects: Software Engineering (cs.SE)
[130] arXiv:2503.09510 [pdf, other]
Title: Automating Code Review: A Systematic Literature Review
Rosalia Tufano, Gabriele Bavota
Subjects: Software Engineering (cs.SE)
[131] arXiv:2503.09673 [pdf, html, other]
Title: A Prototype VS Code Extension to Improve Web Accessible Development
Elisa Calì, Tommaso Fulcini, Riccardo Coppola, Lorenzo Laudadio, Marco Torchiano
Comments: 6 pages
Subjects: Software Engineering (cs.SE)
[132] arXiv:2503.09815 [pdf, html, other]
Title: A Comprehensive Multi-Vocal Empirical Study of ML Cloud Service Misuses
Hadil Ben Amor, Manel Abdellatif, Taher Ghaleb
Subjects: Software Engineering (cs.SE)
[133] arXiv:2503.10041 [pdf, html, other]
Title: NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang, Yiming Shen, Yanlin Wang, Ting Chen, Zhenyu Shan, Zibin Zheng
Subjects: Software Engineering (cs.SE)
[134] arXiv:2503.10072 [pdf, html, other]
Title: "Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
Mia Mohammad Imran, Jaydeb Sarker
Journal-ref: International Conference on the Foundations of Software Engineering: Ideas, Visions and Reflections track - 2025
Subjects: Software Engineering (cs.SE)
[135] arXiv:2503.10099 [pdf, html, other]
Title: AgentDAO: Synthesis of Proposal Transactions Via Abstract DAO Semantics
Lin Ao, Han Liu, Huafeng Zhang
Subjects: Software Engineering (cs.SE)
[136] arXiv:2503.10192 [pdf, html, other]
Title: Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives
Miguel Romero-Arjona, Pablo Valle, Juan C. Alonso, Ana B. Sánchez, Miriam Ugarte, Antonia Cazalilla, Vicente Cambrón, José A. Parejo, Aitor Arrieta, Sergio Segura
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[137] arXiv:2503.10254 [pdf, html, other]
Title: HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States
Roham Koohestani, Maliheh Izadi
Comments: Accepted at Ideas, Visions and Reflections (IVR) Track off the 2025 edition of ACM International Conference on the Foundations of Software Engineering (FSE) in Trondheim, Norway
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[138] arXiv:2503.10306 [pdf, html, other]
Title: Test Amplification for REST APIs Using "Out-of-the-box" Large Language Models
Tolgahan Bardakci, Serge Demeyer, Mutlu Beyazit
Subjects: Software Engineering (cs.SE)
[139] arXiv:2503.10310 [pdf, html, other]
Title: Capturing Semantic Flow of ML-based Systems
Shin Yoo, Robert Feldt, Somin Kim, Naryeong Kim
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[140] arXiv:2503.10407 [pdf, html, other]
Title: An Architectural View Type for Elasticity Modeling and Simulation -- The Slingshot Approach
Floriment Klinaku, Sarah Sophie Stieß, Alireza Hakamian, Steffen Becker
Comments: Accepted to JSS Special Issue Quality in Software Architecture
Subjects: Software Engineering (cs.SE)
[141] arXiv:2503.10721 [pdf, html, other]
Title: From Understanding to Excelling: Template-Free Algorithm Design through Structural-Functional Co-Evolution
Zhe Zhao, Haibin Wen, Pengkun Wang, Ye Wei, Zaixi Zhang, Xi Lin, Fei Liu, Bo An, Hui Xiong, Yang Wang, Qingfu Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[142] arXiv:2503.10737 [pdf, html, other]
Title: Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
Weisong Sun, Yiran Zhang, Jie Zhu, Zhihui Wang, Chunrong Fang, Yonglong Zhang, Yebo Feng, Jiangping Huang, Xingya Wang, Zhi Jin, Yang Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[143] arXiv:2503.10784 [pdf, html, other]
Title: Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
Norbert Tihanyi, Tamas Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[144] arXiv:2503.10876 [pdf, html, other]
Title: Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization
Duc S. H. Nguyen, Bach G. Truong, Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio
Comments: The paper has been peer-reviewed and accepted for publication in the proceedings of International Conference on Foundations of Software Engineering conference (FSE 2025)
Subjects: Software Engineering (cs.SE)
[145] arXiv:2503.10877 [pdf, other]
Title: A Sentence-Level Approach to Understanding Software Vulnerability Fixes
Amiao Gao, Zenong Zhang, Simin Wang, Liguo Huang, Shiyi Wei, Vincent Ng
Comments: 24 pages. Under review
Subjects: Software Engineering (cs.SE)
[146] arXiv:2503.10954 [pdf, html, other]
Title: Empirical Computation
Eric Tang, Marcel Böhme
Comments: Open challenges in the analysis of properties and limits of empirical computation
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[147] arXiv:2503.10977 [pdf, html, other]
Title: What's DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time
Moritz Beller, Amanda Park, Karim Nakad, Akshay Patel, Sarita Mohanty, Ford Garberson, Ian G. Malone, Vaishali Garg, Henri Verroken, Andrew Kennedy, Pavel Avgustinov
Subjects: Software Engineering (cs.SE)
[148] arXiv:2503.11082 [pdf, html, other]
Title: LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
Liwei Guo, Sixiang Ye, Zeyu Sun, Xiang Chen, Yuxia Zhang, Bo Wang, Jie M. Zhang, Zheng Li, Yong Liu
Subjects: Software Engineering (cs.SE)
[149] arXiv:2503.11085 [pdf, html, other]
Title: Prompt Alchemy: Automatic Prompt Refinement for Enhancing Code Generation
Sixiang Ye, Zeyu Sun, Guoqing Wang, Liwei Guo, Qingyuan Liang, Zheng Li, Yong Liu
Subjects: Software Engineering (cs.SE)
[150] arXiv:2503.11291 [pdf, html, other]
Title: Designing a Syllabus for a Course on Empirical Software Engineering
Paris Avgeriou, Nauman bin Ali, Marcos Kalinowski, Daniel Mendez
Comments: Preprint to a chapter for the edited book "Handbook on Teaching Empirical Software Engineering", Springer, 2024
Subjects: Software Engineering (cs.SE)
[151] arXiv:2503.11402 [pdf, html, other]
Title: Quality In, Quality Out: Investigating Training Data's Role in AI Code Generation
Cristina Improta, Rosalia Tufano, Pietro Liguori, Domenico Cotroneo, Gabriele Bavota
Comments: Accepted to the 33rd IEEE/ACM International Conference on Program Comprehension (ICPC 2025)
Subjects: Software Engineering (cs.SE)
[152] arXiv:2503.11450 [pdf, other]
Title: The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
Vincenzo De Maio, Ivona Brandic, Ewa Deelman, Jürgen Cito
Subjects: Software Engineering (cs.SE)
[153] arXiv:2503.11453 [pdf, html, other]
Title: Do Comments and Expertise Still Matter? An Experiment on Programmers' Adoption of AI-Generated JavaScript Code
Changwen Li, Christoph Treude, Ofir Turel
Subjects: Software Engineering (cs.SE)
[154] arXiv:2503.11573 [pdf, html, other]
Title: Synthesizing Access Control Policies using Large Language Models
Adarsh Vatsa, Pratyush Patel, William Eiers
Comments: to be published in the NLBSE Workshop at ICSE 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[155] arXiv:2503.11617 [pdf, html, other]
Title: ASMA-Tune: Unlocking LLMs' Assembly Code Comprehension via Structural-Semantic Instruction Tuning
Xinyi Wang, Jiashui Wang, Peng Chen, Jinbo Su, Yanming Liu, Long Liu, Yangdong Wang, Qiyuan Chen, Kai Yun, Chunfu Jia
Comments: 19 pages, multiple figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[156] arXiv:2503.11704 [pdf, html, other]
Title: Unlimited Practice Opportunities: Automated Generation of Comprehensive, Personalized Programming Tasks
Sven Jacobs, Henning Peters, Steffen Jaschke, Natalie Kiesler
Comments: Accepted for ITiCSE'25
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[157] arXiv:2503.11960 [pdf, html, other]
Title: Consider What Humans Consider: Optimizing Commit Message Leveraging Contexts Considered By Human
Jiawei Li, David Faragó, Christian Petrov, Iftekhar Ahmed
Comments: arXiv admin note: substantial text overlap with arXiv:2501.09861
Subjects: Software Engineering (cs.SE)
[158] arXiv:2503.12029 [pdf, html, other]
Title: Is Multi-Agent Debate (MAD) the Silver Bullet? An Empirical Analysis of MAD in Code Summarization and Translation
Jina Chun, Qihong Chen, Jiawei Li, Iftekhar Ahmed
Subjects: Software Engineering (cs.SE)
[159] arXiv:2503.12043 [pdf, html, other]
Title: An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
Ali Raeisdanaei, Juho Kim, Michael Liao, Sparsh Kochhar
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[160] arXiv:2503.12163 [pdf, html, other]
Title: AgentDroid: A Multi-Agent Framework for Detecting Fraudulent Android Applications
Ruwei Pan, Hongyu Zhang, Zhonghao Jiang, Ran Hou
Subjects: Software Engineering (cs.SE)
[161] arXiv:2503.12192 [pdf, html, other]
Title: Closing the Chain: How to reduce your risk of being SolarWinds, Log4j, or XZ Utils
Sivana Hamer, Jacob Bowen, Md Nazmul Haque, Robert Hines, Chris Madden, Laurie Williams
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[162] arXiv:2503.12205 [pdf, other]
Title: PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng, Yingfei Xiong
Comments: 12 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[163] arXiv:2503.12293 [pdf, html, other]
Title: Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
Averi Bates, Ryan Vavricka, Shane Carleton, Ruosi Shao, Chongle Pan
Comments: Number of pages: 32, Number of figures: 23, Number of tables: 7, Submitted to the Journal of Machine Learning with Applications, Author Contributions: Averi Bates: Methodology, Development, Analysis, Data Curation, Drafting, Review. Ryan Vavricka: Data Curation, Development, Review. Shane Carleton: Supervision, Funding. Ruosi Shao: Review. Chongle Pan: Supervision, Review
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[164] arXiv:2503.12309 [pdf, html, other]
Title: How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
Ruanqianqian Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz
Comments: Accepted to the 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025); Artifact rewarded badges: Available, Functional, and Reusable
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[165] arXiv:2503.12312 [pdf, html, other]
Title: FlakeRanker: Automated Identification and Prioritization of Flaky Job Failure Categories
Henri Aïdasso
Comments: Artifact awarded the Reusable badge at the 47th International Conference on Software Engineering - ICSE 2025 Artifact Evaluation Track
Subjects: Software Engineering (cs.SE)
[166] arXiv:2503.12374 [pdf, other]
Title: Unveiling Pitfalls: Understanding Why AI-driven Code Agents Fail at GitHub Issue Resolution
Zhi Chen, Wei Ma, Lingxiao Jiang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[167] arXiv:2503.12483 [pdf, html, other]
Title: Modularization is Better: Effective Code Generation with Modular Prompting
Ruwei Pan, Hongyu Zhang
Subjects: Software Engineering (cs.SE)
[168] arXiv:2503.12511 [pdf, html, other]
Title: LLM-Driven Multi-step Translation from C to Rust using Static Analysis
Tianyang Zhou, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran
Comments: 22 pages, 13 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[169] arXiv:2503.12873 [pdf, html, other]
Title: SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation
Dehai Zhao, Zhenchang Xing, Qinghua Lu, Xiwei Xu, Liming Zhu
Comments: Accepted by IEEE/ACM International Conference on Software Engineering 2025 (ICSE 2025, Distinguished paper award)
Journal-ref: ICSE 2025
Subjects: Software Engineering (cs.SE)
[170] arXiv:2503.12899 [pdf, other]
Title: A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation
Jian Gu, Aldeida Aleti, Chunyang Chen, Hongyu Zhang
Comments: 12 pages, 6 figure, 6 tables, under peer-review
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[171] arXiv:2503.13002 [pdf, html, other]
Title: Hybrid Work in Agile Software Development: Recurring Meetings
Emily Laue Christensen, Maria Paasivaara, Iflaah Salman
Comments: Preprint of accepted paper for CHASE 2025 (18th International Conference on Cooperative and Human Aspects of Software Engineering)
Subjects: Software Engineering (cs.SE)
[172] arXiv:2503.13127 [pdf, html, other]
Title: An Online Integrated Development Environment for Automated Programming Assessment Systems
Eduard Frankford, Daniel Crazzolara, Michael Vierhauser, Niklas Meissner, Stephan Krusche, Ruth Breu
Comments: 12 pages, CSEDU 2025
Subjects: Software Engineering (cs.SE)
[173] arXiv:2503.13279 [pdf, html, other]
Title: Goal2Story: A Multi-Agent Fleet based on Privately Enabled sLLMs for Impacting Mapping on Requirements Elicitation
Xinkai Zou, Yan Liu, Xiongbo Shi, Chen Yang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[174] arXiv:2503.13310 [pdf, html, other]
Title: Generative AI for Software Architecture. Applications, Trends, Challenges, and Future Directions
Matteo Esposito, Xiaozhou Li, Sergio Moreschini, Noman Ahmad, Tomas Cerny, Karthik Vaidhyanathan, Valentina Lenarduzzi, Davide Taibi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Emerging Technologies (cs.ET)
[175] arXiv:2503.13511 [pdf, other]
Title: Towards a Digital Twin Modeling Method for Container Terminal Port
Faouzi Hakimi (AMU), Tarek Khaled (LIS, LIRICA), Mohammed Al-Kharaz (LIS), Arthur Cartel Foahom Gouabou (AMU, LIS, I&M), Kenza Amzil (LISPEN)
Journal-ref: Procedia Computer Science, 2024, 246, pp. 3113-3121
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[176] arXiv:2503.13549 [pdf, other]
Title: A Showdown of ChatGPT vs DeepSeek in Solving Programming Tasks
Ronas Shakya, Farhad Vadiee, Mohammad Khalil
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[177] arXiv:2503.13580 [pdf, html, other]
Title: LLM Test Generation via Iterative Hybrid Program Analysis
Sijia Gu, Noor Nashid, Ali Mesbah
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[178] arXiv:2503.13584 [pdf, html, other]
Title: Sustainability Analysis Patterns for Process Mining and Process Modelling Approaches
Andreas Fritsch
Journal-ref: ICPM 2024 International Workshops
Subjects: Software Engineering (cs.SE)
[179] arXiv:2503.13620 [pdf, html, other]
Title: Evaluating Programming Language Confusion
Micheline Bénédicte Moumoula, Abdoul Kader Kabore, Jacques Klein, Tegawendé F. Bissyande
Subjects: Software Engineering (cs.SE)
[180] arXiv:2503.13654 [pdf, html, other]
Title: SOSecure: Safer Code Generation with RAG and StackOverflow Discussions
Manisha Mukherjee, Vincent J. Hellendoorn
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[181] arXiv:2503.13762 [pdf, html, other]
Title: Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre, Parth V. Patil, Aravind Machiry, James C. Davis
Comments: 13 pages
Subjects: Software Engineering (cs.SE)
[182] arXiv:2503.13784 [pdf, html, other]
Title: SwarmUpdate: Hierarchical Software Updates and Deep Learning Model Patching for Heterogeneous UAV Swarms
Lin Geng, Hao Li, Sidney Givigi, Bram Adams
Subjects: Software Engineering (cs.SE)
[183] arXiv:2503.13786 [pdf, other]
Title: Evaluating the Application of SOLID Principles in Modern AI Framework Architectures
Jonesh Shrestha
Comments: 5 pages, 1 figure, 12 references
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[184] arXiv:2503.13793 [pdf, html, other]
Title: Mapping the Trust Terrain: LLMs in Software Engineering -- Insights and Perspectives
Dipin Khati, Yijin Liu, David N. Palacio, Yixuan Zhang, Denys Poshyvanyk
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[185] arXiv:2503.13998 [pdf, html, other]
Title: Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub
Davide Fucci, Massimiliano Di Penta, Simone Romano, Giuseppe Scannielllo
Comments: Foundations of Software Engineering Conference (FSE), Ideas, Visions and Reflections track
Subjects: Software Engineering (cs.SE)
[186] arXiv:2503.14000 [pdf, html, other]
Title: LLM-based Unit Test Generation for Dynamically-Typed Programs
Runlin Liu, Zhe Zhang, Yunge Hu, Yuhang Lin, Xiang Gao, Hailong Sun
Subjects: Software Engineering (cs.SE)
[187] arXiv:2503.14183 [pdf, html, other]
Title: Can LLMs Enable Verification in Mainstream Programming?
Aleksandr Shefer, Igor Engel, Stanislav Alekseev, Daniil Berezun, Ekaterina Verbitskaia, Anton Podkopaev
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[188] arXiv:2503.14201 [pdf, html, other]
Title: Why Personalizing Deep Learning-Based Code Completion Tools Matters
Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota
Comments: Accepted for publication at ACM TOSEM
Subjects: Software Engineering (cs.SE)
[189] arXiv:2503.14226 [pdf, html, other]
Title: The Hidden Bloat in Machine Learning Systems
Huaifeng Zhang, Ahmed Ali-Eldin
Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
[190] arXiv:2503.14227 [pdf, html, other]
Title: Benchmarking Failures in Tool-Augmented Language Models
Eduardo Treviño, Hugo Contant, James Ngai, Graham Neubig, Zora Zhiruo Wang
Journal-ref: 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[191] arXiv:2503.14340 [pdf, html, other]
Title: MANTRA: Enhancing Automated Method-Level Refactoring with Contextual RAG and Multi-Agent LLM Collaboration
Yisen Xu, Feng Lin, Jinqiu Yang, Tse-Hsun (Peter)Chen, Nikolaos Tsantalis
Comments: 10 pages
Subjects: Software Engineering (cs.SE)
[192] arXiv:2503.14563 [pdf, other]
Title: Workflow for Safe-AI
Suzana Veljanovska, Hans Dermot Doran
Comments: Embedded World Conference, Nuremberg, 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[193] arXiv:2503.14630 [pdf, html, other]
Title: Assessing Large Language Models for Automated Feedback Generation in Learning Programming Problem Solving
Priscylla Silva, Evandro Costa
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[194] arXiv:2503.14677 [pdf, other]
Title: Analyzing DevOps Practices Through Merge Request Data: A Case Study in Networking Software Company
Samah Kansab, Matthieu Hanania, Francis Bordeleau, Ali Tizghadam
Subjects: Software Engineering (cs.SE)
[195] arXiv:2503.14713 [pdf, html, other]
Title: TestForge: Feedback-Driven, Agentic Test Suite Generation
Kush Jain, Claire Le Goues
Subjects: Software Engineering (cs.SE)
[196] arXiv:2503.14723 [pdf, html, other]
Title: LeakageDetector: An Open Source Data Leakage Analysis Tool in Machine Learning Pipelines
Eman Abdullah AlOmar, Catherine DeMario, Roger Shagawat, Brandon Kreiser
Subjects: Software Engineering (cs.SE)
[197] arXiv:2503.14838 [pdf, html, other]
Title: Think Like Human Developers: Harnessing Community Knowledge for Structured Code Reasoning
Chengran Yang, Zhensu Sun, Hong Jin Kang, Jieke Shi, David Lo
Subjects: Software Engineering (cs.SE)
[198] arXiv:2503.14852 [pdf, other]
Title: UntrustVul: An Automated Approach for Identifying Untrustworthy Alerts in Vulnerability Detection Models
Lam Nguyen Tung, Xiaoning Du, Neelofar Neelofar, Aldeida Aleti
Subjects: Software Engineering (cs.SE)
[199] arXiv:2503.14924 [pdf, html, other]
Title: UTFix: Change Aware Unit Test Repairing using LLM
Shanto Rahman, Sachit Kuhar, Berk Cirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
Comments: 26 pages, International Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 2025
Subjects: Software Engineering (cs.SE)
[200] arXiv:2503.14936 [pdf, html, other]
Title: Enhancing Code LLM Training with Programmer Attention
Yifan Zhang, Chen Huang, Zachary Karas, Dung Thuy Nguyen, Kevin Leach, Yu Huang
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[201] arXiv:2503.15021 [pdf, other]
Title: Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code
Luıs Soeiro (IP Paris, LTCI, ACES, INFRES), Thomas Robert (IP Paris, LTCI, ACES, INFRES), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)
Journal-ref: Mining Software Repositories 2025 (MSR 2025), Apr 2025, Ottawa (Canada), Canada
Subjects: Software Engineering (cs.SE)
[202] arXiv:2503.15050 [pdf, html, other]
Title: Studying and Understanding the Effectiveness and Failures of Conversational LLM-Based Repair
Aolin Chen, Haojun Wu, Qi Xin, Steven P. Reiss, Jifeng Xuan
Subjects: Software Engineering (cs.SE)
[203] arXiv:2503.15073 [pdf, html, other]
Title: An Adaptive Testing Approach Based on Field Data
Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino
Subjects: Software Engineering (cs.SE)
[204] arXiv:2503.15079 [pdf, html, other]
Title: LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
Ke Zhang, Chenxi Zhang, Chong Wang, Chi Zhang, YaChen Wu, Zhenchang Xing, Yang Liu, Qingshan Li, Xin Peng
Subjects: Software Engineering (cs.SE)
[205] arXiv:2503.15223 [pdf, html, other]
Title: Are "Solved Issues" in SWE-bench Really Solved Correctly? An Empirical Study
You Wang, Michael Pradel, Zhongxin Liu
Subjects: Software Engineering (cs.SE)
[206] arXiv:2503.15231 [pdf, html, other]
Title: When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung
Subjects: Software Engineering (cs.SE)
[207] arXiv:2503.15248 [pdf, html, other]
Title: Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative Study
Jomar Thomas Almonte, Santhosh Anitha Boominathan, Nathalia Nascimento
Comments: 11 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[208] arXiv:2503.15270 [pdf, html, other]
Title: Automating Comment Generation for Smart Contract from Bytecode
Jianhang Xiang, Zhipeng Gao, Lingfeng Bao, Xing Hu, Jiayuan Chen, Xin Xia
Subjects: Software Engineering (cs.SE)
[209] arXiv:2503.15277 [pdf, html, other]
Title: What Makes a Good TODO Comment?
Haoye Wang, Zhipeng Gao, Tingting Bi, John Grundy, Xinyu Wang, Minghui Wu, Xiaohu Yang
Subjects: Software Engineering (cs.SE)
[210] arXiv:2503.15282 [pdf, html, other]
Title: SENAI: Towards Software Engineering Native Generative Artificial Intelligence
Mootez Saad, José Antonio Hernández López, Boqi Chen, Neil Ernst, Dániel Varró, Tushar Sharma
Comments: 5 pages, 1 figure
Subjects: Software Engineering (cs.SE)
[211] arXiv:2503.15301 [pdf, html, other]
Title: aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion
Jia Li, Hao Zhu, Huanyu Liu, Xianjie Shi, He Zong, Yihong Dong, Kechi Zhang, Siyuan Jiang, Zhi Jin, Ge Li
Subjects: Software Engineering (cs.SE)
[212] arXiv:2503.15341 [pdf, html, other]
Title: Uncertainty-Guided Chain-of-Thought for Code Generation with LLMs
Yuqi Zhu, Ge Li, Xue Jiang, Jia Li, Hong Mei, Zhi Jin, Yihong Dong
Subjects: Software Engineering (cs.SE)
[213] arXiv:2503.15519 [pdf, other]
Title: Can AI Assist in Olympiad Coding
Samuel Ren
Comments: 7 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[214] arXiv:2503.15556 [pdf, other]
Title: Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
Daniel Karapetyan
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[215] arXiv:2503.15571 [pdf, html, other]
Title: LLM-Aided Customizable Profiling of Code Data Based On Programming Language Concepts
Pankaj Thorat, Adnan Qidwai, Adrija Dhar, Aishwariya Chakraborty, Anand Eswaran, Hima Patel, Praveen Jayachandran
Comments: 21 pages
Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET); Information Retrieval (cs.IR); Machine Learning (cs.LG); Programming Languages (cs.PL)
[216] arXiv:2503.15577 [pdf, html, other]
Title: Navigating MLOps: Insights into Maturity, Lifecycle, Tools, and Careers
Jasper Stone, Raj Patel, Farbod Ghiasi, Sudip Mittal, Shahram Rahimi
Comments: 8 pages, 2 figure, 4 tables
Subjects: Software Engineering (cs.SE)
[217] arXiv:2503.15622 [pdf, other]
Title: Contextual Fairness-Aware Practices in ML: A Cost-Effective Empirical Evaluation
Alessandra Parziale, Gianmario Voria, Giammaria Giordano, Gemma Catolino, Gregorio Robles, Fabio Palomba
Subjects: Software Engineering (cs.SE)
[218] arXiv:2503.15626 [pdf, html, other]
Title: A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
Dylan Léveillé, Jason Jaskolka
Comments: arXiv admin note: substantial text overlap with arXiv:2410.22762
Subjects: Software Engineering (cs.SE)
[219] arXiv:2503.15669 [pdf, html, other]
Title: ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
Hannah Lin, Martin Maas, Maximilian Roquemore, Arman Hasanzadeh, Fred Lewis, Yusuf Simonson, Tzu-Wei Yang, Amir Yazdanbakhsh, Deniz Altinbüken, Florin Papa, Maggie Nolan Edmonds, Aditya Patil, Don Schwarz, Satish Chandra, Chris Kennelly, Milad Hashemi, Parthasarathy Ranganathan
Subjects: Software Engineering (cs.SE)
[220] arXiv:2503.15675 [pdf, html, other]
Title: Combining Static Analysis Techniques for Program Comprehension Using Slicito
Robert Husák, Jan Kofroň, Filip Zavoral
Subjects: Software Engineering (cs.SE)
[221] arXiv:2503.15825 [pdf, html, other]
Title: Efficient Symbolic Execution of Software under Fault Attacks
Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[222] arXiv:2503.15838 [pdf, html, other]
Title: Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
Tarek Mahmud, Bin Duan, Corina Pasareanu, Guowei Yang
Subjects: Software Engineering (cs.SE)
[223] arXiv:2503.15885 [pdf, html, other]
Title: Human or LLM? A Comparative Study on Accessible Code Generation Capability
Hyunjae Suh, Mahan Tafreshipour, Sam Malek, Iftekhar Ahmed
Subjects: Software Engineering (cs.SE)
[224] arXiv:2503.15953 [pdf, html, other]
Title: GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
Mohammed Attaoui, Fabrizio Pastore
Comments: 15 pages, 8 figures, 13 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[225] arXiv:2503.15980 [pdf, html, other]
Title: Financial Twin Chain, a Platform to Support Financial Sustainability in Supply Chains
Giuseppe Galante, Christiancarmine Esposito, Pietro Catalano, Salvatore Moscariello, Pasquale Perillo, Pietro D'Ambrosio, Angelo Ciaramella, Michele Di Capua
Comments: 13 pages, 3 figures, submitted to ITADATA2024: The 3rd Italian Conference on Big Data and Data Science
Subjects: Software Engineering (cs.SE)
[226] arXiv:2503.16038 [pdf, other]
Title: DevOps Automation Pipeline Deployment with IaC (Infrastructure as Code)
Adarsh Saxena, Sudhakar Singh, Shiv Prakash, Tiansheng Yang, Rajkumar Singh Rathore
Comments: 6 pages, 7 figures, 2024 IEEE Silchar Subsection Conference (SILCON 2024)
Journal-ref: 2024 IEEE Silchar Subsection Conference (SILCON 2024), Agartala, India, 2024
Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET)
[227] arXiv:2503.16144 [pdf, html, other]
Title: Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs
Djamel Eddine Khelladi, Charly Reux, Mathieu Acher
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[228] arXiv:2503.16167 [pdf, html, other]
Title: CodeReviewQA: The Code Review Comprehension Assessment for Large Language Models
Hong Yi Lin, Chunhua Liu, Haoyu Gao, Patanamon Thongtanunam, Christoph Treude
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[229] arXiv:2503.16262 [pdf, html, other]
Title: Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler
Subjects: Software Engineering (cs.SE)
[230] arXiv:2503.16320 [pdf, html, other]
Title: Issue2Test: Generating Reproducing Test Cases from Issue Reports
Noor Nashid, Islem Bouzenia, Michael Pradel, Ali Mesbah
Subjects: Software Engineering (cs.SE)
[231] arXiv:2503.16740 [pdf, html, other]
Title: Automated Harmfulness Testing for Code Large Language Models
Honghao Tan, Haibo Wang, Diany Pressato, Yisen Xu, Shin Hwei Tan
Subjects: Software Engineering (cs.SE)
[232] arXiv:2503.16771 [pdf, html, other]
Title: On Explaining (Large) Language Models For Code Using Global Code-Based Explanations
David N. Palacio, Dipin Khati, Daniel Rodriguez-Cardenas, Alejandro Velasco, Denys Poshyvanyk
Comments: 12 pages, under revision
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[233] arXiv:2503.16913 [pdf, html, other]
Title: FAIT: Fault-Aware Fine-Tuning for Better Code Generation
Lishui Fan, Zhongxin Liu, Haoye Wang, Lingfeng Bao, Xin Xia, Shanping Li
Subjects: Software Engineering (cs.SE)
[234] arXiv:2503.16922 [pdf, html, other]
Title: RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
Linxi Liang, Jing Gong, Mingwei Liu, Chong Wang, Guangsheng Ou, Yanlin Wang, Xin Peng, Zibin Zheng
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[235] arXiv:2503.16967 [pdf, html, other]
Title: Evolving the Computational Notebook: A Two-Dimensional Canvas for Enhanced Human-AI Interaction
Konstantin Grotov, Dmitry Botov
Subjects: Software Engineering (cs.SE)
[236] arXiv:2503.16969 [pdf, other]
Title: Extending Behavior Trees for Robotic Missions with Quality Requirements
Razan Ghzouli, Rebekka Wohlrab, Jennifer Horkoff
Comments: 17 pages, 6 figures, Requirements Engineering: Foundation for Software Quality (REFSQ) 2025
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[237] arXiv:2503.17000 [pdf, html, other]
Title: Exploring the Role of Women in Hugging Face Organizations
Maria Tubella Salinas, Alexandra González, Silverio Martínez-Fernández
Comments: Accepted at the XXVIII Ibero-American Conference on Software Engineering (CIbSE 2025)
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[238] arXiv:2503.17181 [pdf, html, other]
Title: LLMs Love Python: A Study of LLMs' Bias for Programming Languages and Libraries
Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Detlef Nauck
Comments: 12 pages, 1 figure
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[239] arXiv:2503.17192 [pdf, other]
Title: Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature
Teoman Toprak, Michael Loibl, Guilherme Teixeira, Irina Shiskina, Chen Miao, Josef Kiendl, Benjamin Marussig, Florian Kummer
Comments: 22 pages, 8 figures, pre-print (not submitted)
Subjects: Software Engineering (cs.SE)
[240] arXiv:2503.17220 [pdf, html, other]
Title: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
Comments: Submitted to ISSTA 2025
Subjects: Software Engineering (cs.SE)
[241] arXiv:2503.17259 [pdf, html, other]
Title: Semi-Automated Design of Data-Intensive Architectures
Arianna Dragoni, Alessandro Margara
Comments: Accepted for publication at the 9th International Workshop on Formal Approaches for Advanced Computing Systems, co-located with the 22nd IEEE International Conference on Software Architecture (ICSA 2025)
Subjects: Software Engineering (cs.SE)
[242] arXiv:2503.17322 [pdf, html, other]
Title: QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
Matteo Paltenghi, Michael Pradel
Comments: 12 pages, 8 figures
Subjects: Software Engineering (cs.SE); Quantum Physics (quant-ph)
[243] arXiv:2503.17416 [pdf, html, other]
Title: Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
Comments: CAIN 2025 (4th International Conference on AI Engineering -- Software Engineering for AI)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[244] arXiv:2503.17502 [pdf, html, other]
Title: Large Language Models (LLMs) for Source Code Analysis: applications, models and datasets
Hamed Jelodar, Mohammad Meymani, Roozbeh Razavi-Far
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[245] arXiv:2503.17537 [pdf, other]
Title: Understanding the Changing Landscape of Automotive Software Vulnerabilities: Insights from a Seven-Year Analysis
Srijita Basu, Miroslaw Staron
Comments: 8 pages
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[246] arXiv:2503.17624 [pdf, html, other]
Title: How Users Employ Workarounds in Software Forms
MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani
Subjects: Software Engineering (cs.SE)
[247] arXiv:2503.17679 [pdf, html, other]
Title: Polymer: Development Workflows as Software
Dhasarathy Parthasarathy, Yinan Yu, Earl T. Barr
Subjects: Software Engineering (cs.SE)
[248] arXiv:2503.17741 [pdf, html, other]
Title: RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang
Subjects: Software Engineering (cs.SE)
[249] arXiv:2503.17837 [pdf, other]
Title: A Study on the Improvement of Code Generation Quality Using Large Language Models Leveraging Product Documentation
Takuro Morimoto, Harumi Haraguchi
Comments: 12 pages, 5 figures and 10 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[250] arXiv:2503.17885 [pdf, html, other]
Title: Reasoning with LLMs for Zero-Shot Vulnerability Detection
Arastoo Zibaeirad, Marco Vieira
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[251] arXiv:2503.17953 [pdf, html, other]
Title: Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts
Sheng Ouyang, Yihao Qin, Bo Lin, Liqian Chen, Xiaoguang Mao, Shangwen Wang
Subjects: Software Engineering (cs.SE)
[252] arXiv:2503.17998 [pdf, html, other]
Title: Automatic High-Level Test Case Generation using Large Language Models
Navid Bin Hasan, Md. Ashraful Islam, Junaed Younus Khan, Sanjida Senjik, Anindya Iqbal
Comments: Accepted at International Conference on Mining Software Repositories (MSR) 2025
Subjects: Software Engineering (cs.SE)
[253] arXiv:2503.18080 [pdf, other]
Title: Example-Based Learning in Software Engineering Education: A Systematic Mapping Study
Tiago P. Bonetti, Williamson Silva, Thelma E. Colanzi
Subjects: Software Engineering (cs.SE)
[254] arXiv:2503.18175 [pdf, html, other]
Title: Enhancing Software Vulnerability Detection Using Code Property Graphs and Convolutional Neural Networks
Amanpreet Singh Saimbhi
Journal-ref: 2025 International Conference on Computational, Communication and Information Technology (ICCCIT), Indore, India, 2025, pp. 435-440
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[255] arXiv:2503.18251 [pdf, html, other]
Title: COFO: COdeFOrces dataset for Program Classification, Recognition and Tagging
Kuldeep Gautam, S. VenkataKeerthy, Ramakrishna Upadrasta
Subjects: Software Engineering (cs.SE)
[256] arXiv:2503.18305 [pdf, html, other]
Title: Enhancing LLM-based Code Translation in Repository Context via Triple Knowledge-Augmented
Guangsheng Ou, Mingwei Liu, Yuxuan Chen, Xueying Du, Shengbo Wang, Zekai Zhang, Xin Peng, Zibin Zheng
Subjects: Software Engineering (cs.SE)
[257] arXiv:2503.18455 [pdf, html, other]
Title: SEAlign: Alignment Training for Software Engineering Agent
Kechi Zhang, Huangzhao Zhang, Ge Li, Jinliang You, Jia Li, Yunfei Zhao, Zhi Jin
Subjects: Software Engineering (cs.SE)
[258] arXiv:2503.18460 [pdf, html, other]
Title: ModiGen: A Large Language Model-Based Workflow for Multi-Task Modelica Code Generation
Jiahui Xiang, Tong Ye, Peiyu Liu, Yinan Zhang, Wenhai Wang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[259] arXiv:2503.18597 [pdf, html, other]
Title: Regression Testing with a Natural Language Oracle
Michael Pradel
Subjects: Software Engineering (cs.SE)
[260] arXiv:2503.18732 [pdf, html, other]
Title: Embedding computational neurorehabilitation in clinical practice using a modular intelligent health system
Thomas Weikert, Eljas Roellin, Monica Pérez-Serrano, Elisa Du, Lukas Heumos, Fabian J. Theis, Diego Paez-Granados, Chris Easthope Awai
Subjects: Software Engineering (cs.SE)
[261] arXiv:2503.18799 [pdf, html, other]
Title: Latent Space Class Dispersion: Effective Test Data Quality Assessment for DNNs
Vivek Vekariya, Mojdeh Golagha, Andrea Stocco, Alexander Pretschner
Subjects: Software Engineering (cs.SE)
[262] arXiv:2503.18832 [pdf, html, other]
Title: Understanding the Impact of Domain Term Explanation on Duplicate Bug Report Detection
Usmi Mukherjee, Mohammad Masudur Rahman
Comments: Accepted at EASE 2025
Subjects: Software Engineering (cs.SE)
[263] arXiv:2503.18888 [pdf, html, other]
Title: Toward building next-generation Geocoding systems: a systematic review
Zhengcong Yin, Daniel W. Goldberg, Binbin Lin, Bing Zhou, Diya Li, Andong Ma, Ziqian Ming, Heng Cai, Zhe Zhang, Shaohua Wang, Shanzhen Gao, Joey Ying Lee, Xiao Li, Da Huo
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Information Retrieval (cs.IR)
[264] arXiv:2503.19217 [pdf, html, other]
Title: LLM Benchmarking with LLaMA2: Evaluating Code Development Performance Across Multiple Programming Languages
Patrick Diehl, Nojoud Nader, Maxim Moraru, Steven R. Brandt
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[265] arXiv:2503.19238 [pdf, html, other]
Title: Unveiling Ruby: Insights from Stack Overflow and Developer Survey
Nikta Akbarpour (1), Ahmad Saleem Mirza (1), Erfan Raoofian (1), Fatemeh Hendijani Fard (1), Gema Rodríguez-Pérez (1) ((1) University of British Columbia, Department of Computer Science, Mathematics, Physics and Statistics, Kelowna, BC, Canada)
Comments: 12 pages, 6 figures, 2 tables
Subjects: Software Engineering (cs.SE)
[266] arXiv:2503.19284 [pdf, html, other]
Title: Understanding and Characterizing Mock Assertions in Unit Tests
Hengcheng Zhu, Valerio Terragni, Lili Wei, Shing-Chi Cheung, Jiarong Wu, Yepang Liu
Comments: The paper has been accepted by The ACM International Conference on the Foundations of Software Engineering (FSE 2025)
Journal-ref: Proceedings of The ACM on Software Engineering (PACMSE), 2, FSE, Article FSE026 (July 2025)
Subjects: Software Engineering (cs.SE)
[267] arXiv:2503.19381 [pdf, html, other]
Title: Towards Build Optimization Using Digital Twins
Henri Aïdasso, Francis Bordeleau, Ali Tizghadam
Comments: Accepted at the 21st International Conference on Predictive Models and Data Analytics in Software Engineering - PROMISE 2025
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[268] arXiv:2503.19444 [pdf, html, other]
Title: AI Safety in the Eyes of the Downstream Developer: A First Look at Concerns, Practices, and Challenges
Haoyu Gao, Mansooreh Zahedi, Wenxin Jiang, Hong Yi Lin, James Davis, Christoph Treude
Subjects: Software Engineering (cs.SE)
[269] arXiv:2503.19449 [pdf, html, other]
Title: VecTrans: LLM Transformation Framework for Better Auto-vectorization on High-performance CPU
Zhongchun Zheng, Long Cheng, Lu Li, Rodrigo C. O. Rocha, Tianyi Liu, Wei Wei, Xianwei Zhang, Yaoqing Gao
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF)
[270] arXiv:2503.19548 [pdf, html, other]
Title: On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
Monica Jin, Raphina Liu, Martin Monperrus
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[271] arXiv:2503.19599 [pdf, other]
Title: HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[272] arXiv:2503.19876 [pdf, other]
Title: SLA-Awareness for AI-assisted coding
Kishanthan Thangarajah, Arthur Leung, Boyuan Chen, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE)
[273] arXiv:2503.19909 [pdf, other]
Title: In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
Timothée Riom, Sabine Houy, Bruno Kreyssig, Alexandre Bartel
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[274] arXiv:2503.20036 [pdf, html, other]
Title: BugCraft: End-to-End Crash Bug Reproduction Using LLM Agents in Minecraft
Eray Yapağcı, Yavuz Alp Sencer Öztürk, Eray Tüzün
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[275] arXiv:2503.20126 [pdf, html, other]
Title: Can We Make Code Green? Understanding Trade-Offs in LLMs vs. Human Code Optimizations
Pooja Rani, Jan-Andrea Bard, June Sallou, Alexander Boll, Timo Kehrer, Alberto Bacchelli
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Performance (cs.PF)
[276] arXiv:2503.20197 [pdf, html, other]
Title: Enhancing the Robustness of LLM-Generated Code: Empirical Study and Framework
Zike Li, Mingwei Liu, Anji Li, Kaifeng He, Yanlin Wang, Xin Peng, Zibin Zheng
Comments: 10 pages
Subjects: Software Engineering (cs.SE)
[277] arXiv:2503.20263 [pdf, html, other]
Title: L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
Zhihan Jiang, Junjie Huang, Zhuangbin Chen, Yichen Li, Guangba Yu, Cong Feng, Yongqiang Yang, Zengyin Yang, Michael R. Lyu
Comments: To appear in companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE'25). 13 pages
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[278] arXiv:2503.20265 [pdf, html, other]
Title: Fixseeker: An Empirical Driven Graph-based Approach for Detecting Silent Vulnerability Fixes in Open Source Software
Yiran Cheng, Ting Zhang, Lwin Khin Shar, Zhe Lang, David Lo, Shichao Lv, Dongliang Fang, Zhiqiang Shi, Limin Sun
Subjects: Software Engineering (cs.SE)
[279] arXiv:2503.20464 [pdf, other]
Title: Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
Ebtihal Althubiti (University of Glasgow), Michele Sevegnani (University of Glasgow)
Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632
Journal-ref: EPTCS 417, 2025, pp. 17-38
Subjects: Software Engineering (cs.SE)
[280] arXiv:2503.20471 [pdf, other]
Title: Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Maximilian Kratz (Technical University of Darmstadt, Real-Time Systems Lab, Germany), Sebastian Ehmes (Technical University of Darmstadt, Real-Time Systems Lab, Germany), Philipp Maximilian Menzel (Technical University of Darmstadt, Germany), Andy Schürr (Technical University of Darmstadt, Real-Time Systems Lab, Germany)
Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632
Journal-ref: EPTCS 417, 2025, pp. 157-172
Subjects: Software Engineering (cs.SE)
[281] arXiv:2503.20536 [pdf, html, other]
Title: Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
Yiran Zhang, Ruiyin Li, Peng Liang, Weisong Sun, Yang Liu
Subjects: Software Engineering (cs.SE)
[282] arXiv:2503.20576 [pdf, html, other]
Title: Optimizing Case-Based Reasoning System for Functional Test Script Generation with Large Language Models
Siyuan Guo, Huiwu Liu, Xiaolong Chen, Yuming Xie, Liang Zhang, Tao Han, Hechang Chen, Yi Chang, Jun Wang
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[283] arXiv:2503.20578 [pdf, other]
Title: LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
Alif Al Hasan, Subarna Saha, Mia Mohammad Imran, Tarannum Shaila Zaman
Subjects: Software Engineering (cs.SE)
[284] arXiv:2503.20579 [pdf, html, other]
Title: Is Reuse All You Need? A Systematic Comparison of Regular Expression Composition Strategies
Berk Çakar, Charles M. Sale, Sophie Chen, Ethan H. Burmane, Dongyoon Lee, James C. Davis
Subjects: Software Engineering (cs.SE)
[285] arXiv:2503.20589 [pdf, html, other]
Title: What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond
Wenchao Gu, Juntao Chen, Yanlin Wang, Tianyue Jiang, Xingzhe Li, Mingwei Liu, Xilin Liu, Yuchi Ma, Zibin Zheng
Subjects: Software Engineering (cs.SE)
[286] arXiv:2503.20840 [pdf, html, other]
Title: CodeTool: Enhancing Programmatic Tool Invocation of LLMs via Process Supervision
Yifei Lu, Fanghua Ye, Jian Li, Qiang Gao, Cheng Liu, Haibo Luo, Nan Du, Xiaolong Li, Feiliang Ren
Subjects: Software Engineering (cs.SE)
[287] arXiv:2503.20851 [pdf, html, other]
Title: StepGrade: Grading Programming Assignments with Context-Aware LLMs
Mohammad Akyash, Kimia Zamiri Azar, Hadi Mardani Kamali
Comments: Accepted to the 15th IEEE Integrated STEM Education Conference (ISEC)
Subjects: Software Engineering (cs.SE)
[288] arXiv:2503.20934 [pdf, html, other]
Title: Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring
Fraol Batole, Abhiram Bellur, Malinda Dilhara, Mohammed Raihan Ullah, Yaroslav Zharov, Timofey Bryksin, Kai Ishikawa, Haifeng Chen, Masaharu Morimoto, Shota Motoura, Takeo Hosomi, Tien N. Nguyen, Hridesh Rajan, Nikolaos Tsantalis, Danny Dig
Comments: 12 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[289] arXiv:2503.21086 [pdf, html, other]
Title: Less Noise, More Signal: DRR for Better Optimizations of SE Tasks
Andre Lustosa, Tim Menzies
Subjects: Software Engineering (cs.SE)
[290] arXiv:2503.21240 [pdf, html, other]
Title: The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
Ningyu He, Shangtong Cao, Haoyu Wang, Yao Guo, Xiapu Luo
Comments: Accepted by FSE'25 Industry Track
Subjects: Software Engineering (cs.SE)
[291] arXiv:2503.21424 [pdf, html, other]
Title: Scaling Automated Database System Testing
Suyang Zhong, Manuel Rigger
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[292] arXiv:2503.21444 [pdf, html, other]
Title: Automated Analysis of Pricings in SaaS-based Information Systems
Alejandro García-Fernández, José Antonio Parejo, Pablo Trinidad, Antonio Ruiz-Cortés
Comments: 16 pages, accepted in CAISE'25
Subjects: Software Engineering (cs.SE)
[293] arXiv:2503.21448 [pdf, html, other]
Title: HORIZON: a Classification and Comparison Framework for Pricing-driven Feature Toggling
Alejandro García-Fernández, Jose Antonio Parejo, Antonio Ruiz-Cortés
Comments: 15 pages, submitted to ICWE'25
Subjects: Software Engineering (cs.SE)
[294] arXiv:2503.21455 [pdf, html, other]
Title: Code Review Comprehension: Reviewing Strategies Seen Through Code Comprehension Theories
Pavlína Wurzel Gonçalves, Pooja Rani, Margaret-Anne Storey, Diomidis Spinellis, Alberto Bacchelli
Subjects: Software Engineering (cs.SE)
[295] arXiv:2503.21522 [pdf, html, other]
Title: MONO2REST: Identifying and Exposing Microservices: a Reusable RESTification Approach
Matthéo Lecrivain, Hanifa Barry, Dalila Tamzalit, Houari Sahraoui
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[296] arXiv:2503.21636 [pdf, html, other]
Title: KRAFT -- A Knowledge-Graph-Based Resource Allocation Framework
Leon Bein, Niels Martin, Luise Pufahl
Subjects: Software Engineering (cs.SE)
[297] arXiv:2503.21705 [pdf, html, other]
Title: SoK: Towards Reproducibility for Software Packages in Scripting Language Ecosystems
Timo Pohl, Pavel Novák, Marc Ohm, Michael Meier
Comments: 22 pages, 1 figure, submitted to ARES 2025
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[298] arXiv:2503.21710 [pdf, html, other]
Title: Enhancing Repository-Level Software Repair via Repository-Aware Knowledge Graphs
Boyang Yang, Haoye Tian, Jiadong Ren, Shunfu Jin, Yang Liu, Feng Liu, Bach Le
Subjects: Software Engineering (cs.SE)
[299] arXiv:2503.21735 [pdf, html, other]
Title: GateLens: A Reasoning-Enhanced LLM Agent for Automotive Software Release Analytics
Arsham Gholamzadeh Khoee, Shuai Wang, Yinan Yu, Robert Feldt, Dhasarathy Parthasarathy
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Multiagent Systems (cs.MA)
[300] arXiv:2503.21947 [pdf, html, other]
Title: Integrating DAST in Kanban and CI/CD: A Real World Security Case Study
Arpit Thool, Chris Brown
Comments: 12 pages, 3 tables
Subjects: Software Engineering (cs.SE)
[301] arXiv:2503.21960 [pdf, html, other]
Title: A Delphi Study on the Adaptation of SCRUM Practices to Remote Work
Cleyton Magalhaes, Fernando Padoan, Robson Santos, Ronnie de Souza Santos
Subjects: Software Engineering (cs.SE)
[302] arXiv:2503.21965 [pdf, other]
Title: Safety Verification and Optimization in Industrial Drive Systems
Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund
Comments: 15 pages
Subjects: Software Engineering (cs.SE)
[303] arXiv:2503.22066 [pdf, html, other]
Title: Reflection on Code Contributor Demographics and Collaboration Patterns in the Rust Community
Rohit Dandamudi, Ifeoma Adaji, Gema Rodríguez-Pérez
Comments: 11 pages, 4 figures and 4 tables
Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)
[304] arXiv:2503.22134 [pdf, html, other]
Title: Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven Ecosystem
Costain Nachuma, Md Mosharaf Hossan, Asif Kamal Turzo, Minhaz F. Zibran
Comments: 5 pages, 4 figures,2 tables, Submitted to the 2025 Mining Software Repositories (MSR) conference
Subjects: Software Engineering (cs.SE)
[305] arXiv:2503.22141 [pdf, html, other]
Title: Integrating Artificial Intelligence with Human Expertise: An In-depth Analysis of ChatGPT's Capabilities in Generating Metamorphic Relations
Yifan Zhang (1), Dave Towey (1), Matthew Pike (1), Quang-Hung Luu (2), Huai Liu (2), Tsong Yueh Chen (2) ((1) University of Nottingham Ningbo China, (2) Swinburne University of Technology)
Comments: Submitted to Information and Software Technology
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[306] arXiv:2503.22228 [pdf, other]
Title: MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
Jie Su, Liansai Deng, Cheng Wen, Rong Wang, Zhi Ma, Nan Zhang, Cong Tian, Zhenhua Duan, Shengchao Qin
Comments: The implementation, along with all relevant publicly available data, can be accessed on the Figshare platform: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[307] arXiv:2503.22238 [pdf, html, other]
Title: Integrating LLMs in Software Engineering Education: Motivators, Demotivators, and a Roadmap Towards a Framework for Finnish Higher Education Institutes
Maryam Khan, Muhammad Azeem Akbar, Jussi Kasurinen
Subjects: Software Engineering (cs.SE)
[308] arXiv:2503.22391 [pdf, html, other]
Title: Understanding Software Vulnerabilities in the Maven Ecosystem: Patterns, Timelines, and Risks
Md Fazle Rabbi, Rajshakhar Paul, Arifa Islam Champa, Minhaz F. Zibran
Subjects: Software Engineering (cs.SE)
[309] arXiv:2503.22424 [pdf, html, other]
Title: CoSIL: Software Issue Localization via LLM-Driven Code Repository Graph Searching
Zhonghao Jiang, Xiaoxue Ren, Meng Yan, Wei Jiang, Yong Li, Zhongxin Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[310] arXiv:2503.22512 [pdf, html, other]
Title: Unlocking LLM Repair Capabilities in Low-Resource Programming Languages Through Cross-Language Translation and Multi-Agent Refinement
Wenqiang Luo, Jacky Wai Keung, Boyang Yang, Jacques Klein, Tegawende F. Bissyande, Haoye Tian, Bach Le
Subjects: Software Engineering (cs.SE)
[311] arXiv:2503.22575 [pdf, html, other]
Title: On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
Comments: To be published in the 47th International Conference on Software Engineering (ICSE 2025)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[312] arXiv:2503.22576 [pdf, other]
Title: Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
Lyuye Zhang, Chengwei Liu, Jiahui Wu, Shiyang Zhang, Chengyue Liu, Zhengzi Xu, Sen Chen, Yang Liu
Comments: 6 pages, 1 figure, FSE25-IVR
Subjects: Software Engineering (cs.SE)
[313] arXiv:2503.22587 [pdf, html, other]
Title: LLM-enabled Instance Model Generation
Fengjunjie Pan, Nenad Petrovic, Vahid Zolfaghari, Long Wen, Alois Knoll
Subjects: Software Engineering (cs.SE)
[314] arXiv:2503.22625 [pdf, html, other]
Title: Challenges and Paths Towards AI for Software Engineering
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
Comments: 75 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[315] arXiv:2503.22685 [pdf, html, other]
Title: Provenance of Adaptation in Scientific and Business Workflows -- Literature Review
Ludwig Stage, Julia Dahlberg, Dimka Karastoyanova
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[316] arXiv:2503.22688 [pdf, html, other]
Title: CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
Peiding Wang, Li Zhang, Fang Liu, Lin Shi, Minxiao Li, Bo Shen, An Fu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[317] arXiv:2503.22776 [pdf, html, other]
Title: Post-Incorporating Code Structural Knowledge into LLMs via In-Context Learning for Code Translation
Yali Du, Hui Sun, Ming Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[318] arXiv:2503.22821 [pdf, html, other]
Title: Identifying and Mitigating API Misuse in Large Language Models
Terry Yue Zhuo, Junda He, Jiamou Sun, Zhenchang Xing, David Lo, John Grundy, Xiaoning Du
Comments: In Submission
Subjects: Software Engineering (cs.SE)
[319] arXiv:2503.22851 [pdf, html, other]
Title: RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation
Feng Lin, Dong Jae Kim, Zhenhao Li, Jinqiu Yang, Tse-Hsun (Peter)Chen
Comments: Corrected metadata: fixed author name in submission form (TeX file was already correct)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[320] arXiv:2503.22894 [pdf, html, other]
Title: Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
Md Fazle Rabbi, Arifa Islam Champa, Rajshakhar Paul, Minhaz F. Zibran
Subjects: Software Engineering (cs.SE)
[321] arXiv:2503.22902 [pdf, html, other]
Title: Insights into Dependency Maintenance Trends in the Maven Ecosystem
Barisha Chowdhury, Md Fazle Rabbi, S. M. Mahedy Hasan, Minhaz F. Zibran
Subjects: Software Engineering (cs.SE)
[322] arXiv:2503.23051 [pdf, html, other]
Title: COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge
Yichen Li, Yulun Wu, Jinyang Liu, Zhihan Jiang, Zhuangbin Chen, Guangba Yu, Michael R. Lyu
Comments: Accepted by the 47th IEEE/ACM International Conference on Software Engineering (ICSE'25)
Subjects: Software Engineering (cs.SE)
[323] arXiv:2503.23058 [pdf, html, other]
Title: Statistical complexity of software systems represented as multi-layer networks
Jan Žižka
Subjects: Software Engineering (cs.SE)
[324] arXiv:2503.23224 [pdf, html, other]
Title: SmartFL: Semantics Based Probabilistic Fault Localization
Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang, Yingfei Xiong, Lu Zhang
Comments: Submitted to IEEE Transactions on Software Engineering Code: this https URL This update corrects the author's name
Subjects: Software Engineering (cs.SE)
[325] arXiv:2503.23231 [pdf, html, other]
Title: CCCI: Code Completion with Contextual Information for Complex Data Transfer Tasks Using Large Language Models
Hangzhan Jin, Mohammad Hamdaqa
Comments: The 29th International Conference on Evaluation and Assessment in Software Engineering
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[326] arXiv:2503.23357 [pdf, other]
Title: Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
Lyuye Zhang, Jiahui Wu, Chengwei Liu, Kaixuan Li, Xiaoyu Sun, Lida Zhao, Chong Wang, Yang Liu
Comments: 24 pages. ISSTA2025
Subjects: Software Engineering (cs.SE)
[327] arXiv:2503.23421 [pdf, html, other]
Title: A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought
Andrei Cristian Ionescu, Sergey Titov, Maliheh Izadi
Comments: Accepted in The ACM International Conference on the Foundations of Software Engineering (FSE 2025) - Demo Track
Subjects: Software Engineering (cs.SE)
[328] arXiv:2503.23448 [pdf, html, other]
Title: Semantic-Preserving Transformations as Mutation Operators: A Study on Their Effectiveness in Defect Detection
Max Hort, Linas Vidziunas, Leon Moonen
Comments: Accepted for publication in Mutation 2025 at the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[329] arXiv:2503.23466 [pdf, html, other]
Title: Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces
Max Hort, Leon Moonen
Comments: Accepted for publication at the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[330] arXiv:2503.23718 [pdf, html, other]
Title: Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis
Binbin Zhao, Xingshuang Lin, Yuan Tian, Saman Zonouz, Na Ruan, Jiliang Li, Raheem Beyah, Shouling Ji
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[331] arXiv:2503.23774 [pdf, html, other]
Title: Who is in Charge here? Understanding How Runtime Configuration Affects Software along with Variables&Constants
Chaopeng Luo, Yuanliang Zhang, Haochen He, Zhouyang Jia, Teng Wang, Shulin Zhou, Si Zheng, Shanshan Li
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)
[332] arXiv:2503.23803 [pdf, html, other]
Title: Thinking Longer, Not Larger: Enhancing Software Engineering Agents via Scaling Test-Time Compute
Yingwei Ma, Yongbin Li, Yihong Dong, Xue Jiang, Rongyu Cao, Jue Chen, Fei Huang, Binhua Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[333] arXiv:2503.23989 [pdf, html, other]
Title: Rubric Is All You Need: Enhancing LLM-based Code Evaluation With Question-Specific Rubrics
Aditya Pathak, Rachit Gandhi, Vaibhav Uttam, Devansh, Yashwanth Nakka, Aaryan Raj Jindal, Pratyush Ghosh, Arnav Ramamoorthy, Shreyash Verma, Aditya Mittal, Aashna Ased, Chirag Khatri, Jagat Sesh Challa, Dhruv Kumar
Comments: Under Review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[334] arXiv:2503.24040 [pdf, html, other]
Title: Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
Comments: Published at ISoLA 2024
Subjects: Software Engineering (cs.SE)
[335] arXiv:2503.24100 [pdf, html, other]
Title: Fuzzing-based Mutation Testing of C/C++ CPS
Jaekwon Lee, Fabrizio Pastore, Lionel Briand
Subjects: Software Engineering (cs.SE)
[336] arXiv:2503.24260 [pdf, html, other]
Title: MaintainCoder: Maintainable Code Generation Under Dynamic Requirements
Zhengren Wang, Rui Ling, Chufan Wang, Yongan Yu, Zhiyu Li, Feiyu Xiong, Wentao Zhang
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[337] arXiv:2503.24273 [pdf, html, other]
Title: Generating Mitigations for Downstream Projects to Neutralize Upstream Library Vulnerability
Zirui Chen, Xing Hu, Puhua Sun, Xin Xia, Xiaohu Yang
Subjects: Software Engineering (cs.SE)
[338] arXiv:2503.24349 [pdf, html, other]
Title: Faster Releases, Fewer Risks: A Study on Maven Artifact Vulnerabilities and Lifecycle Management
Md Shafiullah Shafin, Md Fazle Rabbi, S. M. Mahedy Hasan, Minhaz F. Zibran
Subjects: Software Engineering (cs.SE)
[339] arXiv:2503.00324 (cross-list from cs.CR) [pdf, html, other]
Title: DySec: A Machine Learning-based Dynamic Analysis for Detecting Malicious Packages in PyPI Ecosystem
Sk Tanzir Mehedi, Chadni Islam, Gowri Ramachandran, Raja Jurdak
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[340] arXiv:2503.01374 (cross-list from cs.NI) [pdf, html, other]
Title: Verifying QUIC implementations using Ivy
Christophe Crochet, Tom Rousseaux, J-F Sambon, Maxime Piraux, Axel Legay
Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[341] arXiv:2503.01390 (cross-list from cs.OS) [pdf, html, other]
Title: Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn, Baris Kasikci
Comments: OOPSLA 2025
Subjects: Operating Systems (cs.OS); Programming Languages (cs.PL); Software Engineering (cs.SE)
[342] arXiv:2503.01827 (cross-list from cs.LG) [pdf, other]
Title: Open-source framework for detecting bias and overfitting for large pathology images
Anders Sildnes, Nikita Shvetsov, Masoud Tafavvoghi, Vi Ngoc-Nha Tran, Kajsa Møllersen, Lill-Tove Rasmussen Busund, Thomas K. Kilvær, Lars Ailo Bongo
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Image and Video Processing (eess.IV)
[343] arXiv:2503.02012 (cross-list from cs.AI) [pdf, html, other]
Title: Pretrained Embeddings as a Behavior Specification Mechanism
Parv Kapoor, Abigail Hammer, Ashish Kapoor, Karen Leung, Eunsuk Kang
Comments: 18 pages, 6 figures
Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Software Engineering (cs.SE)
[344] arXiv:2503.02097 (cross-list from cs.CR) [pdf, html, other]
Title: Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
Naveen Srinivasan, Nathan Naveen, Neil Naveen
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS); Software Engineering (cs.SE)
[345] arXiv:2503.02172 (cross-list from cs.AI) [pdf, html, other]
Title: KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answering
Hongyu Lin, Haoran Luo, Hanghang Cao, Yang Liu, Shihao Gao, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[346] arXiv:2503.02770 (cross-list from cs.DB) [pdf, html, other]
Title: Blaze: Compiling JSON Schema for 10x Faster Validation
Juan Cruz Viotti, Michael J. Mior
Subjects: Databases (cs.DB); Software Engineering (cs.SE)
[347] arXiv:2503.03008 (cross-list from cs.CL) [pdf, html, other]
Title: One Model to Train them All: Hierarchical Self-Distillation for Enhanced Early Layer Embeddings
Andrea Gurioli, Federico Pennino, João Monteiro, Maurizio Gabbrielli
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[348] arXiv:2503.03392 (cross-list from cs.DC) [pdf, html, other]
Title: SoK: Microservice Architectures from a Dependability Perspective
Dāvis Kažemaks, Jérémie Decouchant
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[349] arXiv:2503.03969 (cross-list from cs.CR) [pdf, html, other]
Title: Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware
Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman, Dennis Perepech, Mukund Raghothaman, Christophe Hauser, Luis Garcia
Comments: 11 pages, 5 figures
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[350] arXiv:2503.04290 (cross-list from cs.HC) [pdf, html, other]
Title: How Do Hackathons Foster Creativity? Towards AI Collaborative Evaluation of Creativity at Scale
Jeanette Falk, Yiyi Chen, Janet Rafner, Mike Zhang, Johannes Bjerva, Alexander Nolte
Comments: Accepted in Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[351] arXiv:2503.04293 (cross-list from cs.HC) [pdf, html, other]
Title: No Silver Bullet: Towards Demonstrating Secure Software Development for Danish Small and Medium Enterprises in a Business-to-Business Model
Raha Asadi, Bodil Biering, Vincent van Dijk, Oksana Kulyk, Elda Paja
Comments: This paper has been accepted to CHI 25
Subjects: Human-Computer Interaction (cs.HC); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[352] arXiv:2503.04479 (cross-list from cs.AI) [pdf, other]
Title: ToolFuzz -- Automated Agent Tool Testing
Ivan Milev, Mislav Balunović, Maximilian Baader, Martin Vechev
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[353] arXiv:2503.04521 (cross-list from cs.AI) [pdf, other]
Title: Dynamic Pricing for On-Demand DNN Inference in the Edge-AI Market
Songyuan Li, Jia Hu, Geyong Min, Haojun Huang, Jiwei Huang
Comments: Index Terms: Edge-AI, DNN Inference Offloading, Resource Management, Dynamic Pricing, Auction Mechanism
Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[354] arXiv:2503.04779 (cross-list from cs.PL) [pdf, html, other]
Title: Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
Thanh Le-Cong, Bach Le, Toby Murray
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[355] arXiv:2503.05315 (cross-list from cs.LG) [pdf, html, other]
Title: LoRACode: LoRA Adapters for Code Embeddings
Saumya Chaturvedi, Aman Chadha, Laurent Bindschaedler
Comments: Accepted at the Deep Learning for Code (DL4C) Workshop at ICLR 2025
Subjects: Machine Learning (cs.LG); Information Retrieval (cs.IR); Software Engineering (cs.SE)
[356] arXiv:2503.05346 (cross-list from cs.CL) [pdf, html, other]
Title: AutoIOT: LLM-Driven Automated Natural Language Programming for AIoT Applications
Leming Shen, Qiang Yang, Yuanqing Zheng, Mo Li
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[357] arXiv:2503.05495 (cross-list from cs.DC) [pdf, html, other]
Title: Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
Mohammadreza Malekabbasi, Tobias Pfandzelter, David Bermbach
Comments: Accepted for publication in 9th IEEE International Conference on Fog and Edge Computing (ICFEC 2025)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[358] arXiv:2503.05924 (cross-list from cs.PL) [pdf, html, other]
Title: Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
Tanmay Tirpankar, Arnab Das, Ganesh Gopalakrishnan
Comments: 22 pgs, 8 figures, 4 tables
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE); Numerical Analysis (math.NA)
[359] arXiv:2503.06155 (cross-list from cs.DB) [pdf, other]
Title: Conceptual Entity-Relationship Model: Underneath the Simplicity and Staticity
Sabah Al-Fedaghi
Comments: 17 pages, 34 figures
Subjects: Databases (cs.DB); Software Engineering (cs.SE)
[360] arXiv:2503.07172 (cross-list from cs.AI) [pdf, html, other]
Title: Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems
L. Thomas van Binsbergen, Marten C. Steketee, Milen G. Kebede, Heleen L. Janssen, Tom M. van Engers
Comments: Submitted for review to the Journal of AI and Law, 49 pages (including)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[361] arXiv:2503.07328 (cross-list from cs.PL) [pdf, other]
Title: Complete the Cycle: Reachability Types with Expressive Cyclic References
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[362] arXiv:2503.07330 (cross-list from cs.CV) [pdf, html, other]
Title: Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[363] arXiv:2503.07358 (cross-list from cs.CL) [pdf, html, other]
Title: RepoST: Scalable Repository-Level Coding Environment Construction with Sandbox Testing
Yiqing Xie, Alex Xie, Divyanshu Sheth, Pengfei Liu, Daniel Fried, Carolyn Rose
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[364] arXiv:2503.07693 (cross-list from cs.AI) [pdf, html, other]
Title: Fully Autonomous Programming using Iterative Multi-Agent Debugging with Large Language Models
Anastasiia Grishina, Vadim Liventsev, Aki Härmä, Leon Moonen
Comments: Accepted for publication in ACM Trans. Evol. Learn. Optim., February 2025. arXiv admin note: text overlap with arXiv:2304.10423
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)
[365] arXiv:2503.07770 (cross-list from cs.LG) [pdf, html, other]
Title: Evaluating LLaMA 3.2 for Software Vulnerability Detection
José Gonçalves, Miguel Silva, Bernardo Cabral, Tiago Dias, Eva Maia, Isabel Praça, Ricardo Severino, Luís Lino Ferreira
Comments: 14 pages, 4 tables, EICC 2025: European Interdisciplinary Cybersecurity Conference 2025
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[366] arXiv:2503.07832 (cross-list from cs.AI) [pdf, html, other]
Title: RefactorBench: Evaluating Stateful Reasoning in Language Agents Through Code
Dhruv Gautam, Spandan Garg, Jinu Jang, Neel Sundaresan, Roshanak Zilouchian Moghaddam
Comments: ICLR 2025 Camera Ready
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[367] arXiv:2503.08766 (cross-list from astro-ph.IM) [pdf, html, other]
Title: Integrating UX Design in Astronomical Software Development: A Case Study
Yan G. Grange, Kevin Tai (ASTRON)
Comments: 4 pages, 3 figures, to appear in the proceedings of Astronomical Data Analysis Software and Systems XXXIV published by ASP
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[368] arXiv:2503.08928 (cross-list from cs.PL) [pdf, html, other]
Title: Toward a Corpus Study of the Dynamic Gradual Type
Dibri Nsofor, Ben Greenman
Comments: Accepted to HATRA 2024
Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[369] arXiv:2503.09270 (cross-list from cs.LG) [pdf, other]
Title: Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
Comments: 11 pages, 3 figures, accompanying source code available at this https URL
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[370] arXiv:2503.09433 (cross-list from cs.CR) [pdf, html, other]
Title: CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[371] arXiv:2503.09663 (cross-list from cs.OS) [pdf, html, other]
Title: BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
Hongyu Lin, Yuchen Li, Haoran Luo, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu
Subjects: Operating Systems (cs.OS); Software Engineering (cs.SE)
[372] arXiv:2503.10793 (cross-list from cs.CR) [pdf, html, other]
Title: HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
Yu Luo, Han Zhou, Mengtao Zhang, Dylan De La Rosa, Hafsa Ahmed, Weifeng Xu, Dianxiang Xu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[373] arXiv:2503.10968 (cross-list from cs.AI) [pdf, other]
Title: Combinatorial Optimization for All: Using LLMs to Aid Non-Experts in Improving Optimization Algorithms
Camilo Chacón Sartori, Christian Blum
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[374] arXiv:2503.11236 (cross-list from cs.FL) [pdf, html, other]
Title: Contract Based Program Models for Software Model Checking
Jesper Amilon, Dilian Gurov
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[375] arXiv:2503.11237 (cross-list from cs.AI) [pdf, html, other]
Title: Collaboration is all you need: LLM Assisted Safe Code Translation
Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Software Engineering (cs.SE)
[376] arXiv:2503.11246 (cross-list from cs.DC) [pdf, html, other]
Title: Cost-effective Deep Learning Infrastructure with NVIDIA GPU
Aatiz Ghimire, Shahnawaz Alam, Siman Giri, Madhav Prasad Ghimire
Comments: 10 Pages,6 Figures, this paper was presented in National Data and Computing Conference 2024 and will be published into KUSET Journal by Kathmandu University
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Machine Learning (cs.LG); Software Engineering (cs.SE); Systems and Control (eess.SY)
[377] arXiv:2503.11355 (cross-list from math.NA) [pdf, other]
Title: TypedMatrices.jl: An Extensible and Type-Based Matrix Collection for Julia
Anzhi Zhang, Massimiliano Fasi
Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Software Engineering (cs.SE)
[378] arXiv:2503.11498 (cross-list from cs.CV) [pdf, html, other]
Title: Cloud2BIM: An open-source automatic pipeline for efficient conversion of large-scale point clouds into IFC format
Slávek Zbirovský, Václav Nežerka
Comments: 53 pages, 23 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[379] arXiv:2503.11922 (cross-list from cs.CY) [pdf, other]
Title: On Regulating Downstream AI Developers
Sophie Williams, Jonas Schuett, Markus Anderljung
Comments: 39 pages, 2 figures, 7 tables
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[380] arXiv:2503.12216 (cross-list from cs.CY) [pdf, html, other]
Title: Counting the Trees in the Forest: Evaluating Prompt Segmentation for Classifying Code Comprehension Level
David H. Smith IV, Max Fowler, Paul Denny, Craig Zilles
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[381] arXiv:2503.12686 (cross-list from cs.LG) [pdf, other]
Title: Can LLMs Formally Reason as Abstract Interpreters for Program Analysis?
Jacqueline L. Mitchell, Brian Hyeongseok Kim, Chenyu Zhou, Chao Wang
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[382] arXiv:2503.13405 (cross-list from cs.SI) [pdf, other]
Title: Invisible Labor: The Backbone of Open Source Software
Robin A. Lange, Anna Gibson, Milo Z. Trujillo, Brooke Foucault Welles
Comments: 21 pages, 1 table
Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)
[383] arXiv:2503.13520 (cross-list from cs.CL) [pdf, html, other]
Title: Evaluating the Process Modeling Abilities of Large Language Models -- Preliminary Foundations and Results
Peter Fettke, Constantin Houy
Comments: 10 pages, 1 figure, submitted to 20th International Conference on Wirtschaftsinformatik 2025
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[384] arXiv:2503.13772 (cross-list from cs.DC) [pdf, html, other]
Title: Do Large Language Models Understand Performance Optimization?
Bowen Cui, Tejas Ramesh, Oscar Hernandez, Keren Zhou
Comments: First two authors have equal contributions
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[385] arXiv:2503.14104 (cross-list from eess.SY) [pdf, html, other]
Title: Sheaf-Theoretic Causal Emergence for Resilience Analysis in Distributed Systems
Anatoly A. Krasnovsky
Subjects: Systems and Control (eess.SY); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Software Engineering (cs.SE)
[386] arXiv:2503.14130 (cross-list from cs.AI) [pdf, html, other]
Title: Inference-Time Intervention in Large Language Models for Reliable Requirement Verification
Paul Darm, James Xie, Annalisa Riccardi
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[387] arXiv:2503.14269 (cross-list from cs.CL) [pdf, other]
Title: DARS: Dynamic Action Re-Sampling to Enhance Coding Agent Performance by Adaptive Tree Traversal
Vaibhav Aggarwal, Ojasv Kamal, Abhinav Japesh, Zhijing Jin, Bernhard Schölkopf
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[388] arXiv:2503.14281 (cross-list from cs.CR) [pdf, html, other]
Title: XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants
Adam Štorek, Mukur Gupta, Noopur Bhatt, Aditya Gupta, Janie Kim, Prashast Srivastava, Suman Jana
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[389] arXiv:2503.14292 (cross-list from astro-ph.IM) [pdf, html, other]
Title: Computing the Wave: Where the Gravitational Wave Community benefits from High-Energy Physics, and where it differs ?
Marco Meyer-Conde, Nobuyuki Kanda, Hirotaka Takahashi, Ken-ichi Oohara, Kazuki Sakai
Comments: 9 pages, 6 figures
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Software Engineering (cs.SE); High Energy Physics - Experiment (hep-ex)
[390] arXiv:2503.14443 (cross-list from cs.LG) [pdf, html, other]
Title: EnvBench: A Benchmark for Automated Environment Setup
Aleksandra Eliseeva, Alexander Kovrigin, Ilia Kholkin, Egor Bogomolov, Yaroslav Zharov
Comments: Accepted at the DL4Code workshop at ICLR'25
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[391] arXiv:2503.14488 (cross-list from cs.AI) [pdf, html, other]
Title: Engineering Scientific Assistants using Interactive Structured Induction of Programs
Shraddha Surana, Ashwin Srinivasan
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[392] arXiv:2503.15199 (cross-list from cs.DC) [pdf, html, other]
Title: Radon: a Programming Model and Platform for Computing Continuum Systems
Luca De Martini, Dario d'Abate, Alessandro Margara, Gianpaolo Cugola
Comments: Submitted to EDCCS 2025
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[393] arXiv:2503.15439 (cross-list from quant-ph) [pdf, other]
Title: LuGo: an Enhanced Quantum Phase Estimation Implementation
Chao Lu, Muralikrishnan Gopalakrishanan Meena, Kalyana Chakravarthi Gottiparthi
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Software Engineering (cs.SE)
[394] arXiv:2503.15540 (cross-list from cs.PL) [pdf, html, other]
Title: LLM-Guided Compositional Program Synthesis
Ruhma Khan, Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[395] arXiv:2503.15554 (cross-list from cs.CR) [pdf, other]
Title: A Comprehensive Study of LLM Secure Code Generation
Shih-Chieh Dai, Jun Xu, Guanhong Tao
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[396] arXiv:2503.15812 (cross-list from cs.PL) [pdf, html, other]
Title: Data Spatial Programming
Jason Mars
Comments: 27 pages, 41 pages with appendix
Subjects: Programming Languages (cs.PL); Multiagent Systems (cs.MA); Software Engineering (cs.SE)
[397] arXiv:2503.16350 (cross-list from cs.SI) [pdf, html, other]
Title: An Evaluation Tool for Backbone Extraction Techniques in Weighted Complex Networks
Ali Yassin, Abbas Haidar, Hocine Cherifi, Hamida Seba, Olivier Togni
Journal-ref: Sci Rep 13, 17000 (2023)
Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)
[398] arXiv:2503.16486 (cross-list from cs.HC) [pdf, html, other]
Title: Accodemy: AI Powered Code Learning Platform to Assist Novice Programmers in Overcoming the Fear of Coding
M.A.F. Aamina, V. Kavishcan, W.M.P.B.B. Jayaratne, K.K.D.S.N. Kannangara, A.A. Aamil, Achini Adikari
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[399] arXiv:2503.16640 (cross-list from cs.CR) [pdf, html, other]
Title: Visualizing Privacy-Relevant Data Flows in Android Applications
Mugdha Khedkar, Michael Schlichtig, Santhosh Mohan, Eric Bodden
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[400] arXiv:2503.17302 (cross-list from cs.CR) [pdf, html, other]
Title: Bugdar: AI-Augmented Secure Code Review for GitHub Pull Requests
John Naulty, Eason Chen, Joy Wang, George Digkas, Kostas Chalkias
Comments: 4 pages, 1 figure, accepted at IEEE Conference on Artificial Intelligence (CAI) 2025
Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[401] arXiv:2503.17534 (cross-list from cs.LG) [pdf, html, other]
Title: MetaSel: A Test Selection Approach for Fine-tuned DNN Models
Amin Abbasishahkoo, Mahboubeh Dadkhah, Lionel Briand, Dayi Lin
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[402] arXiv:2503.17630 (cross-list from cs.LG) [pdf, html, other]
Title: Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks
Bin Duan, Matthew B.Dwyer, Guowei Yang
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[403] arXiv:2503.18561 (cross-list from math.OC) [pdf, other]
Title: Optimization under uncertainty
Nicola Botta, Patrik Jansson, Tim Richter
Subjects: Optimization and Control (math.OC); Software Engineering (cs.SE)
[404] arXiv:2503.19402 (cross-list from cs.CR) [pdf, other]
Title: QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
Kian Kai Ang, Damith C. Ranasinghe
Comments: Accepted to ESORICS 2025. For QUIC-Fuzz code, see this https URL
Journal-ref: European Symposium on Research in Computer Security (ESORICS), 2025
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[405] arXiv:2503.19584 (cross-list from cs.AI) [pdf, html, other]
Title: Multi-agent Application System in Office Collaboration Scenarios
Songtao Sun, Jingyi Li, Yuanfei Dong, Haoguang Liu, Chenxin Xu, Fuyang Li, Qiang Liu
Comments: Technical report
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Software Engineering (cs.SE)
[406] arXiv:2503.19632 (cross-list from cs.LO) [pdf, other]
Title: Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
Jörg Endrullis, Dominik Grzelak, Tobias Heindel, Jens Kosiol
Journal-ref: EPTCS 417, 2025
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[407] arXiv:2503.20463 (cross-list from cs.PL) [pdf, other]
Title: An Encoding of Interaction Nets in OCaml
Nikolaus Huber, Wang Yi
Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632
Journal-ref: EPTCS 417, 2025, pp. 1-16
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[408] arXiv:2503.21145 (cross-list from cs.CR) [pdf, html, other]
Title: How to Secure Existing C and C++ Software without Memory Safety
Úlfar Erlingsson
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[409] arXiv:2503.21350 (cross-list from cs.RO) [pdf, html, other]
Title: A Data-Driven Method for INS/DVL Alignment
Guy Damari, Itzik Klein
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[410] arXiv:2503.21557 (cross-list from cs.AI) [pdf, other]
Title: debug-gym: A Text-Based Environment for Interactive Debugging
Xingdi Yuan, Morgane M Moss, Charbel El Feghali, Chinmay Singh, Darya Moldavskaya, Drew MacPhee, Lucas Caccia, Matheus Pereira, Minseon Kim, Alessandro Sordoni, Marc-Alexandre Côté
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[411] arXiv:2503.21615 (cross-list from cs.HC) [pdf, html, other]
Title: A Measure Based Generalizable Approach to Understandability
Vikas Kushwaha, Sruti Srinivasa Ragavan, Subhajit Roy
Comments: 6 pages
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[412] arXiv:2503.21971 (cross-list from cs.LG) [pdf, html, other]
Title: RocketPPA: Ultra-Fast LLM-Based PPA Estimator at Code-Level Abstraction
Armin Abdollahi, Mehdi Kamal, Massoud Pedram
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[413] arXiv:2503.22612 (cross-list from cs.CR) [pdf, html, other]
Title: Advancing DevSecOps in SMEs: Challenges and Best Practices for Secure CI/CD Pipelines
Jayaprakashreddy Cheenepalli, John D. Hastings, Khandaker Mamun Ahmed, Chad Fenner
Comments: 6 pages, 6 figures, 4 tables
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)
[414] arXiv:2503.22641 (cross-list from quant-ph) [pdf, html, other]
Title: QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit
Gabriel Pontolillo, Mohammad Reza Mousavi, Marek Grzesiuk
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[415] arXiv:2503.22754 (cross-list from cs.LG) [pdf, html, other]
Title: Model Lake: a New Alternative for Machine Learning Models Management and Governance
Moncef Garouani, Franck Ravat, Nathalie Valles-Parlangeau
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[416] arXiv:2503.22935 (cross-list from cs.CR) [pdf, html, other]
Title: Improving the Context Length and Efficiency of Code Retrieval for Tracing Security Vulnerability Fixes
Xueqing Liu, Jiangrui Zheng, Guanqun Yang, Siyan Wen, Qiushi Liu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[417] arXiv:2503.23633 (cross-list from cs.AI) [pdf, other]
Title: GIScience in the Era of Artificial Intelligence: A Research Agenda Towards Autonomous GIS
Zhenlong Li, Huan Ning, Song Gao, Krzysztof Janowicz, Wenwen Li, Samantha T. Arundel, Chaowei Yang, Budhendra Bhaduri, Shaowen Wang, A-Xing Zhu, Mark Gahegan, Shashi Shekhar, Xinyue Ye, Grant McKenzie, Guido Cervone, Michael E. Hodgson
Subjects: Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET); Software Engineering (cs.SE)
[418] arXiv:2503.23748 (cross-list from cs.CR) [pdf, html, other]
Title: THEMIS: Towards Practical Intellectual Property Protection for Post-Deployment On-Device Deep Learning Models
Yujin Huang, Zhi Zhang, Qingchuan Zhao, Xingliang Yuan, Chunyang Chen
Comments: To Appear in the 34th USENIX Security Symposium, August 13-15, 2025
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[419] arXiv:2503.23791 (cross-list from cs.PL) [pdf, html, other]
Title: LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
Yuchen Liu, Junhao Hu, Yingdi Shan, Ge Li, Yanzhen Zou, Yihong Dong, Tao Xie
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
Total of 419 entries
Showing up to 2000 entries per page: fewer | more | all