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 April 2024

Total of 322 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:2404.00227 [pdf, html, other]
Title: A Survey of using Large Language Models for Generating Infrastructure as Code
Kalahasti Ganesh Srivatsa, Sabyasachi Mukhopadhyay, Ganesh Katrapati, Manish Shrivastava
Comments: Accepted in ICON2023
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[2] arXiv:2404.00287 [pdf, html, other]
Title: An Empirical Study of Automated Vulnerability Localization with Large Language Models
Jian Zhang, Chong Wang, Anran Li, Weisong Sun, Cen Zhang, Wei Ma, Yang Liu
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[3] arXiv:2404.00311 [pdf, html, other]
Title: Pricing4SaaS: Towards a pricing model to drive the operation of SaaS
Alejandro García-Fernández, José Antonio Parejo, Antonio Ruiz-Cortés
Comments: CAiSE Forum 2024
Subjects: Software Engineering (cs.SE)
[4] arXiv:2404.00350 [pdf, html, other]
Title: A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
Niels Dossche, Bert Abrath, Bart Coppens
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[5] arXiv:2404.00420 [pdf, html, other]
Title: Learning Service Selection Decision Making Behaviors During Scientific Workflow Development
Xihao Xie, Jia Zhang, Rahul Ramachandran, Tsengdar J. Lee, Seungwon Lee
Comments: 14 pages, 8 figures. arXiv admin note: text overlap with arXiv:2205.11771
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[6] arXiv:2404.00566 [pdf, other]
Title: CodeBenchGen: Creating Scalable Execution-based Code Generation Benchmarks
Yiqing Xie, Alex Xie, Divyanshu Sheth, Pengfei Liu, Daniel Fried, Carolyn Rose
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[7] arXiv:2404.00640 [pdf, html, other]
Title: Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Shiwen Shan, Yintong Huo, Yuxin Su, Yichen Li, Dan Li, Zibin Zheng
Comments: 13 pages, accepted by ISSTA 2024 (The 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[8] arXiv:2404.00725 [pdf, html, other]
Title: The Larger the Better? Improved LLM Code-Generation via Budget Reallocation
Michael Hassid, Tal Remez, Jonas Gehring, Roy Schwartz, Yossi Adi
Comments: COLM 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[9] arXiv:2404.00762 [pdf, html, other]
Title: Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Subjects: Software Engineering (cs.SE)
[10] arXiv:2404.00795 [pdf, html, other]
Title: Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
Subjects: Software Engineering (cs.SE)
[11] arXiv:2404.00971 [pdf, html, other]
Title: Exploring and Evaluating Hallucinations in LLM-Powered Code Generation
Fang Liu, Yang Liu, Lin Shi, Houkun Huang, Ruifeng Wang, Zhen Yang, Li Zhang, Zhongqi Li, Yuchi Ma
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[12] arXiv:2404.01023 [pdf, html, other]
Title: Large Language Model Evaluation Via Multi AI Agents: Preliminary results
Zeeshan Rasheed, Muhammad Waseem, Kari Systä, Pekka Abrahamsson
Comments: 10 pages, 1 figure
Subjects: Software Engineering (cs.SE)
[13] arXiv:2404.01055 [pdf, html, other]
Title: Quantum circuit scheduler for QPUs usage optimization
Javier Romero-Alvarez, Jaime Alvarado-Valiente, Jorge Casco-Seco, Enrique Moguel, Jose Garcia-Alonso, Javier Berrocal, Juan M. Murillo
Subjects: Software Engineering (cs.SE)
[14] arXiv:2404.01096 [pdf, html, other]
Title: Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[15] arXiv:2404.01240 [pdf, html, other]
Title: AURORA: Navigating UI Tarpits via Automated Neural Screen Understanding
Safwat Ali Khan, Wenyu Wang, Yiran Ren, Bin Zhu, Jiangfan Shi, Alyssa McGowan, Wing Lam, Kevin Moran
Comments: Published at 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, 12 pages
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC)
[16] arXiv:2404.01283 [pdf, html, other]
Title: Evaluating Privacy Perceptions, Experience, and Behavior of Software Development Teams
Maxwell Prybylo, Sara Haghighi, Sai Teja Peddinti, Sepideh Ghanavati
Journal-ref: https://www.usenix.org/conference/soups2024/presentation/prybylo
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[17] arXiv:2404.01535 [pdf, html, other]
Title: Syntactic Robustness for LLM-based Code Generation
Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
Comments: 12 pages, 12 figures
Subjects: Software Engineering (cs.SE)
[18] arXiv:2404.01554 [pdf, html, other]
Title: FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu
Comments: ISSTA 2024
Subjects: Software Engineering (cs.SE)
[19] arXiv:2404.01558 [pdf, html, other]
Title: Automated User Story Generation with Test Case Specification Using Large Language Model
Tajmilur Rahman, Yuecai Zhu
Comments: 10 pages including 2 pages of Appendix
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[20] arXiv:2404.01754 [pdf, html, other]
Title: Peer-aided Repairer: Empowering Large Language Models to Repair Advanced Student Assignments
Qianhui Zhao, Fang Liu, Li Zhang, Yang Liu, Zhen Yan, Zhenghao Chen, Yufei Zhou, Jing Jiang, Ge Li
Comments: On-going work
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[21] arXiv:2404.01789 [pdf, other]
Title: A Feature Dataset of Microservices-based Systems
Weipan Yang, Yongchao Xing, Yiming Lyu, Zhihao Liang, Zhiying Tu
Subjects: Software Engineering (cs.SE)
[22] arXiv:2404.01849 [pdf, html, other]
Title: EV2Gym: A Flexible V2G Simulator for EV Smart Charging Research and Benchmarking
Stavros Orfanoudakis, Cesar Diaz-Londono, Yunus E. Yılmaz, Peter Palensky, Pedro P. Vergara
Comments: 10 pages, 9 figures, and 6 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[23] arXiv:2404.01858 [pdf, html, other]
Title: Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Tom Yaacov, Achiya Elyasaf, Gera Weiss
Comments: Accepted to the 32nd IEEE International Requirements Engineering 2024 conference (RE'24)
Subjects: Software Engineering (cs.SE)
[24] arXiv:2404.01886 [pdf, other]
Title: Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche
Subjects: Software Engineering (cs.SE)
[25] arXiv:2404.01934 [pdf, html, other]
Title: Towards a Completeness Argumentation for Scenario Concepts
Christoph Glasmacher, Hendrik Weber, Lutz Eckstein
Comments: 6 pages, 5 figures, 1 table; Accepted to be published as part of the 35th IEEE Intelligent Vehicles Symposium, June 2 - 5, 2024, Korea
Subjects: Software Engineering (cs.SE)
[26] arXiv:2404.01950 [pdf, other]
Title: An Exploratory Study of the Relationship between SATD and Other Software Development Activities
Shima Esfandiari, Ashkan Sami
Comments: 6 pages, DOI: https://doi.org/10.1109/ICCKE60553.2023.10326279
Subjects: Software Engineering (cs.SE)
[27] arXiv:2404.02056 [pdf, html, other]
Title: Multitask-based Evaluation of Open-Source LLM on Software Vulnerability
Xin Yin, Chao Ni, Shaohua Wang
Subjects: Software Engineering (cs.SE)
[28] arXiv:2404.02183 [pdf, html, other]
Title: Self-Organized Agents: A LLM Multi-Agent Framework toward Ultra Large-Scale Code Generation and Optimization
Yoichi Ishibashi, Yoshimasa Nishimura
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Multiagent Systems (cs.MA)
[29] arXiv:2404.02230 [pdf, html, other]
Title: A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine
Comments: 33 pages with references, preprint
Subjects: Software Engineering (cs.SE)
[30] arXiv:2404.02377 [pdf, html, other]
Title: Exploring the Impact of Source Code Linearity on the Programmers Comprehension of API Code Examples
Seham Alharbi, Dimitris Kolovos
Comments: 5 pages
Subjects: Software Engineering (cs.SE)
[31] arXiv:2404.02464 [pdf, html, other]
Title: Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
Shruthi Ravikumar, Margaret Hamilton, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe
Comments: Preprint. Accepted to the 19th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2024). Final version to be published by SCITEPRESS, this http URL
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[32] arXiv:2404.02470 [pdf, html, other]
Title: Mobile user experience from the lens of project-based learning
Maria Spichkova
Comments: Preprint. Accepted to the 20th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2023), Melbourne, Australia, November, 2023. Springer. Final version to be published by Springer (In Press)
Subjects: Software Engineering (cs.SE)
[33] arXiv:2404.02525 [pdf, html, other]
Title: Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead
Xin Zhou, Sicong Cao, Xiaobing Sun, David Lo
Comments: 24 pages
Subjects: Software Engineering (cs.SE)
[34] arXiv:2404.02548 [pdf, html, other]
Title: AI-Tutoring in Software Engineering Education
Eduard Frankford, Clemens Sauerwein, Patrick Bassner, Stephan Krusche, Ruth Breu
Comments: 11 pages, 5 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[35] arXiv:2404.02561 [pdf, html, other]
Title: scenario.center: Methods from Real-world Data to a Scenario Database
Michael Schuldes, Christoph Glasmacher, Lutz Eckstein
Comments: 8 pages, 9 figures, 2 tables; Accepted to be published as part of the 35th IEEE Intelligent Vehicles Symposium, June 2 - 5, 2024, Korea
Subjects: Software Engineering (cs.SE)
[36] arXiv:2404.02599 [pdf, html, other]
Title: Determining the Tactical Challenge of Scenarios to Efficiently Test Automated Driving Systems
Lennart Vater, Sven Tarlowski, Michael Schuldes, Lutz Eckstein
Comments: 6 pages, 3 figures, 2 tables; Accepted to be published as part of the 35th IEEE Intelligent Vehicles Symposium (IV), Jeju Shinhwa World, Jeju Island, Korea, June 2-5, 2024
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[37] arXiv:2404.02806 [pdf, html, other]
Title: The RealHumanEval: Evaluating Large Language Models' Abilities to Support Programmers
Hussein Mozannar, Valerie Chen, Mohammed Alsobay, Subhro Das, Sebastian Zhao, Dennis Wei, Manish Nagireddy, Prasanna Sattigeri, Ameet Talwalkar, David Sontag
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[38] arXiv:2404.02841 [pdf, html, other]
Title: AI-augmented Automation for Real Driving Prediction: an Industrial Use Case
Romina Eramo, Hamzeh Eyal Salman, Matteo Spezialetti, Darko Stern, Pierre Quinton, Antonio Cicchetti
Subjects: Software Engineering (cs.SE)
[39] arXiv:2404.03061 [pdf, html, other]
Title: WebSPL: A Software Product Line for Web Applications
Maicon Azevedo da Luz, Kleinner Farias
Comments: 6 figures, 3 tables
Subjects: Software Engineering (cs.SE)
[40] arXiv:2404.03114 [pdf, html, other]
Title: Testing the Effect of Code Documentation on Large Language Model Code Understanding
William Macke, Michael Doyle
Comments: 7 pages, 5 figures, 2 tables. Accepted as a Findings paper in the "Generation" track to NAACL 2024. MITRE Public Release Case Number 23-4132
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[41] arXiv:2404.03122 [pdf, html, other]
Title: Towards Standards-Compliant Assistive Technology Product Specifications via LLMs
Chetan Arora, John Grundy, Louise Puli, Natasha Layton
Subjects: Software Engineering (cs.SE)
[42] arXiv:2404.03171 [pdf, html, other]
Title: Multi-modal Learning for WebAssembly Reverse Engineering
Hanxian Huang, Jishen Zhao
Comments: Accepted by ISSTA '24
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[43] arXiv:2404.03172 [pdf, html, other]
Title: SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian
Comments: Accepted by DAC 2024, please note that this is not the final camera-ready version
Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR); Systems and Control (eess.SY)
[44] arXiv:2404.03543 [pdf, html, other]
Title: CodeEditorBench: Evaluating Code Editing Capability of Large Language Models
Jiawei Guo, Ziming Li, Xueling Liu, Kaijing Ma, Tianyu Zheng, Zhouliang Yu, Ding Pan, Yizhi LI, Ruibo Liu, Yue Wang, Shuyue Guo, Xingwei Qu, Xiang Yue, Ge Zhang, Wenhu Chen, Jie Fu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[45] arXiv:2404.03629 [pdf, html, other]
Title: ROBUST: 221 Bugs in the Robot Operating System
Christopher S. Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wąsowski
Journal-ref: ROBUST: 221 bugs in the Robot Operating System CS Timperley, G van der Hoorn, A Santos, H Deshpande, A W\k{a}sowski Empirical Software Engineering 29 (3), 57, 2024
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[46] arXiv:2404.03661 [pdf, html, other]
Title: Benchmarking formalisms for dynamic structure system Modeling and Simulation
Aya Attia (LAAS-ISI), Clément Foucher (LAAS-ISI), Luiz Fernando Lavado Villa (LAAS-ISGE)
Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
[47] arXiv:2404.03664 [pdf, html, other]
Title: LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Comments: 12 pages, 6 figures, 4 tables, 1 listing
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[48] arXiv:2404.03769 [pdf, html, other]
Title: On Extending the Automatic Test Markup Language (ATML) for Machine Learning
Tyler Cody, Bingtong Li, Peter A. Beling
Comments: Accepted by the 18th Annual IEEE International Systems Conference (SysCon)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Systems and Control (eess.SY)
[49] arXiv:2404.03953 [pdf, html, other]
Title: Towards Understanding the Impact of Code Modifications on Software Quality Metrics
Thomas Karanikiotis, Andreas L. Symeonidis
Subjects: Software Engineering (cs.SE)
[50] arXiv:2404.03994 [pdf, html, other]
Title: Pros and Cons! Evaluating ChatGPT on Software Vulnerability
Xin Yin
Comments: arXiv admin note: substantial text overlap with arXiv:2404.02056
Subjects: Software Engineering (cs.SE)
[51] arXiv:2404.03995 [pdf, html, other]
Title: Balancing Progress and Responsibility: A Synthesis of Sustainability Trade-Offs of AI-Based Systems
Apoorva Nalini Pradeep Kumar, Justus Bogner, Markus Funke, Patricia Lago
Comments: Accepted for publication at the 8th International Workshop on Green and Sustainable Software (GREENS'24), collocated with ICSA'24
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[52] arXiv:2404.04093 [pdf, html, other]
Title: From STPA to Safe Behavior Models
Jette Petzold, Reinhard von Hanxleden
Comments: 25 pages
Subjects: Software Engineering (cs.SE)
[53] arXiv:2404.04132 [pdf, html, other]
Title: BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[54] arXiv:2404.04303 [pdf, html, other]
Title: Approximate Bayesian Computation As An Informed Fuzzing-Inference System
Chris Vaisnor
Comments: 5 pages
Subjects: Software Engineering (cs.SE)
[55] arXiv:2404.04496 [pdf, html, other]
Title: Towards Better Graph Neural Network-based Fault Localization Through Enhanced Code Representation
Md Nakhla Rafi, Dong Jae Kim, An Ran Chen, Tse-Hsun Chen, Shaowei Wang
Subjects: Software Engineering (cs.SE)
[56] arXiv:2404.04521 [pdf, html, other]
Title: Automated Computer Program Evaluation and Projects -- Our Experiences
Bama Srinivasan, Mala Nehru, Ranjani Parthasarathi, Saswati Mukherjee, Jeena A Thankachan
Comments: 14 pages, 15 figures
Journal-ref: https://www.sxcejournal.com/spe-apr-2023/17.pdf
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[57] arXiv:2404.04566 [pdf, html, other]
Title: Efficient and Green Large Language Models for Software Engineering: Vision and the Road Ahead
Jieke Shi, Zhou Yang, David Lo
Comments: Under Review in the Special Issue of ACM Transactions on Software Engineering and Methodology (TOSEM): 2030 Software Engineering Roadmap
Subjects: Software Engineering (cs.SE)
[58] arXiv:2404.04572 [pdf, html, other]
Title: Towards Architecting Sustainable MLOps: A Self-Adaptation Approach
Hiya Bhatt, Shrikara Arun, Adyansh Kakran, Karthik Vaidhyanathan
Comments: To be published in ICSA-C 2024
Subjects: Software Engineering (cs.SE)
[59] arXiv:2404.04688 [pdf, html, other]
Title: Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Aitor Arrieta, Pablo Valle, Shaukat Ali
Subjects: Software Engineering (cs.SE)
[60] arXiv:2404.04744 [pdf, html, other]
Title: Adapting Multi-objectivized Software Configuration Tuning
Tao Chen, Miqing Li
Comments: This paper has been accepted at ACM FSE'24
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[61] arXiv:2404.04821 [pdf, html, other]
Title: A Data-to-Product Multimodal Conceptual Framework to Achieve Automated Software Evolution for Context-rich Intelligent Applications
Songhui Yue
Journal-ref: Innovations in Systems and Software Engineering, 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[62] arXiv:2404.04834 [pdf, html, other]
Title: LLM-Based Multi-Agent Systems for Software Engineering: Vision and the Road Ahead
Junda He, Christoph Treude, David Lo
Comments: Under Review
Subjects: Software Engineering (cs.SE)
[63] arXiv:2404.04839 [pdf, other]
Title: AI for DevSecOps: A Landscape and Future Opportunities
Michael Fu, Jirat Pasuksmit, Chakkrit Tantithamthavorn
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[64] arXiv:2404.04966 [pdf, html, other]
Title: Enhancing LLM-based Test Generation for Hard-to-Cover Branches via Program Analysis
Chen Yang, Junjie Chen, Bin Lin, Jianyi Zhou, Ziqi Wang
Comments: 11 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[65] arXiv:2404.05011 [pdf, html, other]
Title: A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma
Alexandra Kogan, Roy Leizer, Szymon Wilk, David Glasspool
Comments: Presented as a short paper at the Knowledge Representation for Healthcare 2023 (KR4HC 2023) workshop
Subjects: Software Engineering (cs.SE)
[66] arXiv:2404.05041 [pdf, html, other]
Title: How Do OSS Developers Utilize Architectural Solutions from Q&A Sites: An Empirical Study
Musengamana Jean de Dieu, Peng Liang, Mojtaba Shahin
Subjects: Software Engineering (cs.SE)
[67] arXiv:2404.05388 [pdf, html, other]
Title: An AI System Evaluation Framework for Advancing AI Safety: Terminology, Taxonomy, Lifecycle Mapping
Boming Xia, Qinghua Lu, Liming Zhu, Zhenchang Xing
Comments: 1st ACM International Conference on AI-powered Software (AIware)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[68] arXiv:2404.05425 [pdf, html, other]
Title: Requirements Elicitation in Government Projects: A Preliminary Empirical Study
Anqi Ren, Lin Liu, Yi Wang, Xiao Liu, Hailong Wang, Kaijia Xu, Xishuo Zhang, Chetan Arora
Subjects: Software Engineering (cs.SE)
[69] arXiv:2404.05427 [pdf, html, other]
Title: AutoCodeRover: Autonomous Program Improvement
Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
Comments: To appear in ISSTA 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[70] arXiv:2404.05444 [pdf, other]
Title: The Open Autonomy Safety Case Framework
Michael Wagner, Carmen Carlan
Journal-ref: Safety-Critical Systems eJournal, Vol. 3 No. 1 (2024)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY)
[71] arXiv:2404.05489 [pdf, html, other]
Title: The Impact of Sanctions on GitHub Developers and Activities
Youmei Fan, Ani Hovhannisyan, Hideaki Hata, Christoph Treude, Raula Gaikovina Kula
Subjects: Software Engineering (cs.SE)
[72] arXiv:2404.05499 [pdf, other]
Title: Guiding Large Language Models to Generate Computer-Parsable Content
Jiaye Wang
Comments: 44 pages, 39 figures, 8 tables, Chinese version: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[73] arXiv:2404.05508 [pdf, html, other]
Title: Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
Nenad Petrovic, Fengjunjie Pan, Krzysztof Lebioda, Vahid Zolfaghari, Sven Kirchner, Nils Purschke, Muhammad Aqib Khan, Viktor Vorobev, Alois Knoll
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[74] arXiv:2404.05520 [pdf, html, other]
Title: The Fact Selection Problem in LLM-Based Program Repair
Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl Barr, Sergey Mechtaev
Comments: Code, scripts and data necessary to reproduce this work are available at this https URL
Subjects: Software Engineering (cs.SE)
[75] arXiv:2404.05599 [pdf, other]
Title: The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages
Johannes Schreiner, Daniel Gerl, Robert Kunzelmann, Paritosh Kumar Sinha, Wolfgang Ecker
Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[76] arXiv:2404.05767 [pdf, html, other]
Title: CSA-Trans: Code Structure Aware Transformer for AST
Saeyoon Oh, Shin Yoo
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[77] arXiv:2404.05826 [pdf, html, other]
Title: Decade-long Utilization Patterns of ICSE Technical Papers and Associated Artifacts
Sharif Ahmed, Rey Ortiz, Nasir U. Eisty
Comments: This paper has been accepted for publication and presentation at The 22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2024) to be held in Honolulu, USA on May 30-June 1, 2024
Subjects: Software Engineering (cs.SE)
[78] arXiv:2404.05846 [pdf, html, other]
Title: Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris Kolovos, Antonio García-Domínguez
Comments: 12 pages
Subjects: Software Engineering (cs.SE)
[79] arXiv:2404.06011 [pdf, html, other]
Title: Guidelines for Using Mixed Methods Research in Software Engineering
Margaret-Anne Storey, Rashina Hoda, Alessandra Maciel Paz Milani, Maria Teresa Baldassarre
Comments: 21 pages, 6 figures
Subjects: Software Engineering (cs.SE)
[80] arXiv:2404.06041 [pdf, html, other]
Title: On Evaluating the Efficiency of Source Code Generated by LLMs
Changan Niu, Ting Zhang, Chuanyi Li, Bin Luo, Vincent Ng
Comments: 1st special event of AI Foundation Models and Software Engineering (FORGE 2024)
Subjects: Software Engineering (cs.SE)
[81] arXiv:2404.06082 [pdf, html, other]
Title: A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
Toshihiro Kamiya
Comments: 6 pages, 2 columns, English translation of the manuscript originally presented in Japanese at a domestic workshop
Subjects: Software Engineering (cs.SE)
[82] arXiv:2404.06201 [pdf, html, other]
Title: Open-Source AI-based SE Tools: Opportunities and Challenges of Collaborative Software Learning
Zhihao Lin, Wei Ma, Tao Lin, Yaowen Zheng, Jingquan Ge, Jun Wang, Jacques Klein, Tegawende Bissyande, Yang Liu, Li Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[83] arXiv:2404.06371 [pdf, html, other]
Title: Model Generation with LLMs: From Requirements to UML Sequence Diagrams
Alessio Ferrari, Sallam Abualhaija, Chetan Arora
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[84] arXiv:2404.06386 [pdf, html, other]
Title: Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch Lafuente, Paola Spoletini, Alessio Ferrari
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[85] arXiv:2404.06484 [pdf, html, other]
Title: Public-private funding models in open source software development: A case study on scikit-learn
Cailean Osborne
Comments: 15 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[86] arXiv:2404.06568 [pdf, other]
Title: On Test Sequence Generation using Multi-Objective Particle Swarm Optimization
Zain Iqbal, Kashif Zafar, Aden Iqbal, Ayesha Khan
Comments: International Conference on Computing & Emerging Technologies(ICCET 2023)
Subjects: Software Engineering (cs.SE)
[87] arXiv:2404.06572 [pdf, html, other]
Title: Detecting Refactoring Commits in Machine Learning Python Projects: A Machine Learning-Based Approach
Shayan Noei, Heng Li, Ying Zou
Subjects: Software Engineering (cs.SE)
[88] arXiv:2404.06634 [pdf, html, other]
Title: Perplexed: Understanding When Large Language Models are Confused
Nathan Cooper, Torsten Scholak
Subjects: Software Engineering (cs.SE)
[89] arXiv:2404.06672 [pdf, html, other]
Title: Biomedical Open Source Software: Crucial Packages and Hidden Heroes
Andrew Nesbitt, Boris Veytsman, Daniel Mietchen, Eva Maxfield Brown, James Howison, João Felipe Pimentel, Laurent Hèbert-Dufresne, Stephan Druskat
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[90] arXiv:2404.06825 [pdf, html, other]
Title: Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, Manuel Wimmer
Subjects: Software Engineering (cs.SE)
[91] arXiv:2404.06852 [pdf, html, other]
Title: Research Artifacts in Software Engineering Publications: Status and Trends
Mugeng Liu, Xiaolong Huang, Wei He, Yibing Xie, Jie M. Zhang, Xiang Jing, Zhenpeng Chen, Yun Ma
Comments: Accepted by Journal of Systems and Software (JSS 2024). Please include JSS in any citations
Subjects: Software Engineering (cs.SE)
[92] arXiv:2404.06856 [pdf, html, other]
Title: Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing
Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[93] arXiv:2404.07142 [pdf, html, other]
Title: Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research
Sonja M. Hyrynsalmi, Sebastian Baltes, Chris Brown, Rafael Prikladnicki, Gema Rodriguez-Perez, Alexander Serebrenik, Jocelyn Simmonds, Bianca Trinkenreich, Yi Wang, Grischa Liebel
Subjects: Software Engineering (cs.SE)
[94] arXiv:2404.07170 [pdf, html, other]
Title: Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
Comments: In 3rd International Conference on AI Engineering: Software Engineering for AI (CAIN 2024)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF); Programming Languages (cs.PL)
[95] arXiv:2404.07427 [pdf, html, other]
Title: Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions
Shandler A. Mason, Sandeep Kaur Kuttal
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[96] arXiv:2404.07471 [pdf, html, other]
Title: Structure-aware Fine-tuning for Code Pre-trained Models
Jiayi Wu, Renyu Zhu, Nuo Chen, Qiushi Sun, Xiang Li, Ming Gao
Comments: Accepted by COLING 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[97] arXiv:2404.07491 [pdf, html, other]
Title: Neural Fault Injection: Generating Software Faults from Natural Language
Domenico Cotroneo, Pietro Liguori
Comments: 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Disrupt
Subjects: Software Engineering (cs.SE)
[98] arXiv:2404.07548 [pdf, html, other]
Title: DeVAIC: A Tool for Security Assessment of AI-generated Code
Domenico Cotroneo, Roberta De Luca, Pietro Liguori
Comments: Accepted for publication in the Information and Software Technology (IST) journal
Subjects: Software Engineering (cs.SE)
[99] arXiv:2404.07940 [pdf, other]
Title: InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models
Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
Comments: 31 pages. Appear at NeurIPS 2024 Datasets and Benchmarks track. Project website: this https URL
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[100] arXiv:2404.07942 [pdf, html, other]
Title: On Unified Prompt Tuning for Request Quality Assurance in Public Code Review
Xinyu Chen, Lin Li, Rui Zhang, Peng Liang
Comments: The 29th International Conference on Database Systems for Advanced Applications (DASFAA)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[101] arXiv:2404.07948 [pdf, other]
Title: Usability and Performance Analysis of Embedded Development Environment for On-device Learning
Enzo Scaffi (DYNAMID), Antoine Bonneau (DYNAMID, EE), Frédéric Le Mouël (DYNAMID), Fabien Mieyeville (INL, EE)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[102] arXiv:2404.08018 [pdf, html, other]
Title: Analyzing the Performance of Large Language Models on Code Summarization
Rajarshi Haldar, Julia Hockenmaier
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[103] arXiv:2404.08151 [pdf, html, other]
Title: Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications
Rabimba Karanjai, Lei Xu, Lin Chen, Nour Diallo, Weidong Shi
Comments: The 39th ACM/SIGAPP Symposium On Applied Computing
Subjects: Software Engineering (cs.SE)
[104] arXiv:2404.08303 [pdf, html, other]
Title: A Large Scale Survey of Motivation in Software Development and Analysis of its Validity
Idan Amit, Dror G. Feitelson
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[105] arXiv:2404.08517 [pdf, html, other]
Title: Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[106] arXiv:2404.08525 [pdf, html, other]
Title: Automatic Recommendations for Evolving Relational Databases Schema
Anne Etien, Nicolas Anquetil
Subjects: Software Engineering (cs.SE)
[107] arXiv:2404.08619 [pdf, html, other]
Title: Using Information Flow to estimate interference between developers same method contributions
Roberto Souto Maior de Barros Filho, Paulo Borba
Subjects: Software Engineering (cs.SE)
[108] arXiv:2404.08877 [pdf, html, other]
Title: Aligning LLMs for FL-free Program Repair
Junjielong Xu, Ying Fu, Shin Hwei Tan, Pinjia He
Comments: Accepted by ICSE'25
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[109] arXiv:2404.08947 [pdf, html, other]
Title: Zero-Shot Code Representation Learning via Prompt Tuning
Nan Cui, Xiaodong Gu, Beijun Shen
Comments: arXiv admin note: substantial text overlap with arXiv:2204.08360
Subjects: Software Engineering (cs.SE)
[110] arXiv:2404.08948 [pdf, html, other]
Title: Large Language Models for Mobile GUI Text Input Generation: An Empirical Study
Chenhui Cui, Tao Li, Junjie Wang, Chunyang Chen, Dave Towey, Rubing Huang
Subjects: Software Engineering (cs.SE)
[111] arXiv:2404.09151 [pdf, html, other]
Title: Emerging Platforms Meet Emerging LLMs: A Year-Long Journey of Top-Down Development
Siyuan Feng, Jiawei Liu, Ruihang Lai, Charlie F. Ruan, Yong Yu, Lingming Zhang, Tianqi Chen
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[112] arXiv:2404.09223 [pdf, html, other]
Title: OSS Myths and Facts
Yukako Iimura, Masanari Kondo, Kazushi Tomoto, Yasutaka Kamei, Naoyasu Ubayashi, Shinobu Saito
Comments: English Version: 28 pages + Japanese Version: 23 pages
Subjects: Software Engineering (cs.SE)
[113] arXiv:2404.09241 [pdf, html, other]
Title: An Empirical Evaluation of Manually Created Equivalent Mutants
Philipp Straubinger, Alexander Degenhart, Gordon Fraser
Subjects: Software Engineering (cs.SE)
[114] arXiv:2404.09246 [pdf, html, other]
Title: Engaging Young Learners with Testing Using the Code Critters Mutation Game
Philipp Straubinger, Lena Bloch, Gordon Fraser
Subjects: Software Engineering (cs.SE)
[115] arXiv:2404.09249 [pdf, html, other]
Title: Test Code Generation for Telecom Software Systems using Two-Stage Generative Model
Mohamad Nabeel, Doumitrou Daniil Nimara, Tahar Zanouda
Comments: 6 pages, 5 figures, Accepted at 1st Workshop on The Impact of Large Language Models on 6G Networks - IEEE International Conference on Communications (ICC) 2024
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[116] arXiv:2404.09357 [pdf, html, other]
Title: Service Weaver: A Promising Direction for Cloud-native Systems?
Jacoby Johnson, Subash Kharel, Alan Mannamplackal, Amr S. Abdelfattah, Tomas Cerny
Comments: This paper is accepted for publication at the International Conference on Cloud Computing and Services Science (CLOSER) 2024
Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET)
[117] arXiv:2404.09384 [pdf, other]
Title: Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna, Lucas C. Cordeiro, Rosiane de Freitas
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[118] arXiv:2404.09398 [pdf, html, other]
Title: A Generic Approach to Fix Test Flakiness in Real-World Projects
Yang Chen, Reyhaneh Jabbarvand
Subjects: Software Engineering (cs.SE)
[119] arXiv:2404.09537 [pdf, html, other]
Title: Machine Learning Techniques for Python Source Code Vulnerability Detection
Talaya Farasat, Joachim Posegga
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[120] arXiv:2404.09789 [pdf, html, other]
Title: Software development in the age of LLMs and XR
Jesus M. Gonzalez-Barahona
Journal-ref: Proceedings of the First IDE Workshop (IDE'24), April 20, 2024, Lisbon, Portugal. ACM, New York, NY, USA
Subjects: Software Engineering (cs.SE)
[121] arXiv:2404.09836 [pdf, html, other]
Title: How Far Have We Gone in Binary Code Understanding Using Large Language Models
Xiuwei Shang, Shaoyin Cheng, Guoqiang Chen, Yanming Zhang, Li Hu, Xiao Yu, Gangyang Li, Weiming Zhang, Nenghai Yu
Comments: 12 pages, 8 figures, to be published in ICSME 2024
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[122] arXiv:2404.09866 [pdf, html, other]
Title: Reimagining Self-Adaptation in the Age of Large Language Models
Raghav Donakanti, Prakhar Jain, Shubham Kulkarni, Karthik Vaidhyanathan
Subjects: Software Engineering (cs.SE)
[123] arXiv:2404.09868 [pdf, html, other]
Title: Software Engineering Methods For AI-Driven Deductive Legal Reasoning
Rohan Padhye
Comments: Appearing in Onward! at SPLASH 2024
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Computers and Society (cs.CY)
[124] arXiv:2404.09919 [pdf, html, other]
Title: How fair are we? From conceptualization to automated assessment of fairness definitions
Giordano d'Aloisio, Claudio Di Sipio, Antinisca Di Marco, Davide Di Ruscio
Subjects: Software Engineering (cs.SE)
[125] arXiv:2404.09952 [pdf, html, other]
Title: LLMorpheus: Mutation Testing using Large Language Models
Frank Tip, Jonathan Bell, Max Schäfer
Subjects: Software Engineering (cs.SE)
[126] arXiv:2404.09983 [pdf, html, other]
Title: Hybrid Work meets Agile Software Development: A Systematic Mapping Study
Dron Khanna, Emily Laue Christensen, Saagarika Gosu, Xiaofeng Wang, Maria Paasivaara
Comments: 11 pages
Subjects: Software Engineering (cs.SE)
[127] arXiv:2404.10002 [pdf, html, other]
Title: The Ballmer Peak: An Empirical Search
Twm Stone, Jaz Stoddart
Comments: 7 pages. In Proceedings of SIGBOVIK, Pittsburgh, PA USA, April 2024 (SIGBOVIK '24), 7 pages
Subjects: Software Engineering (cs.SE)
[128] arXiv:2404.10100 [pdf, html, other]
Title: LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
Comments: IEEE Transactions on Software Engineering, vol. 50, no. 09, pp. 2254-2268, 2024
Journal-ref: in IEEE Transactions on Software Engineering, vol. 50, no. 09, pp. 2254-2268, 2024
Subjects: Software Engineering (cs.SE)
[129] arXiv:2404.10155 [pdf, other]
Title: The Fault in our Stars: Quality Assessment of Code Generation Benchmarks
Mohammed Latif Siddiq, Simantika Dristi, Joy Saha, Joanna C. S. Santos
Comments: Accepted at the 24th IEEE International Conference on Source Code Analysis and Manipulation(SCAM 2024) Research Track
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[130] arXiv:2404.10185 [pdf, html, other]
Title: Insights from the Field: Exploring Students' Perspectives on Bad Unit Testing Practices
Anthony Peruma, Eman Abdullah AlOmar, Wajdi Aljedaani, Christian D. Newman, Mohamed Wiem Mkaouer
Comments: Accepted at: 2024 Innovation and Technology in Computer Science Education V. 1 (ITiCSE 2024)
Subjects: Software Engineering (cs.SE)
[131] arXiv:2404.10194 [pdf, html, other]
Title: Impostor Syndrome in Final Year Computer Science Students: An Eye Tracking and Biometrics Study
Alyssia Chen, Carol Wong, Katy Tarrit, Anthony Peruma
Comments: Accepted at: 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[132] arXiv:2404.10225 [pdf, other]
Title: Rethinking Software Engineering in the Foundation Model Era: From Task-Driven AI Copilots to Goal-Driven AI Pair Programmers
Ahmed E. Hassan, Gustavo A. Oliva, Dayi Lin, Boyuan Chen, Zhen Ming (Jack)Jiang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[133] arXiv:2404.10304 [pdf, html, other]
Title: LLM-Powered Test Case Generation for Detecting Tricky Bugs
Kaibo Liu, Yiyang Liu, Zhenpeng Chen, Jie M. Zhang, Yudong Han, Yun Ma, Ge Li, Gang Huang
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[134] arXiv:2404.10328 [pdf, html, other]
Title: Quantum Computing for All: Online Courses Built Around Interactive Visual Quantum Circuit Simulator
Juha Reinikainen, Vlad Stirbu, Teiko Heinosaari, Vesa Lappalainen, Tommi Mikkonen
Subjects: Software Engineering (cs.SE); Physics Education (physics.ed-ph); Quantum Physics (quant-ph)
[135] arXiv:2404.10362 [pdf, html, other]
Title: 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
Subjects: Software Engineering (cs.SE)
[136] arXiv:2404.10376 [pdf, html, other]
Title: Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato
Subjects: Software Engineering (cs.SE)
[137] arXiv:2404.10678 [pdf, other]
Title: Automating REST API Postman Test Cases Using LLM
S Deepika Sri, Mohammed Aadil S, Sanjjushri Varshini R, Raja CSP Raman, Gopinath Rajagopal, S Taranath Chan
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[138] arXiv:2404.10703 [pdf, html, other]
Title: An Empirical Study on Code Review Activity Prediction and Its Impact in Practice
Doriane Olewicki, Sarra Habchi, Bram Adams
Comments: 20 pages + 3 pages ref
Journal-ref: FSE 2024
Subjects: Software Engineering (cs.SE)
[139] arXiv:2404.10779 [pdf, html, other]
Title: Fine Tuning LLM for Enterprise: Practical Guidelines and Recommendations
Mathav Raj J, Kushala VM, Harikrishna Warrier, Yogesh Gupta
Comments: 17 pages, 12 tables, 3 figures
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[140] arXiv:2404.10912 [pdf, html, other]
Title: Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution
Elaine Venson, Reem Alfayez
Subjects: Software Engineering (cs.SE)
[141] arXiv:2404.11033 [pdf, other]
Title: Building Defect Prediction Models by Online Learning Considering Defect Overlooking
Nikolay Fedorov, Yuta Yamasaki, Masateru Tsunoda, Akito Monden, Amjed Tahir, Kwabena Ebo Bennin, Koji Toda, Keitaro Nakasai
Comments: 4 pages, 4 figures, 4 tables. The paper is currently under review in IEICE. arXiv admin note: text overlap with arXiv:2308.13582
Subjects: Software Engineering (cs.SE)
[142] arXiv:2404.11040 [pdf, other]
Title: The Impact of Defect (Re) Prediction on Software Testing
Yukasa Murakami, Yuta Yamasaki, Masateru Tsunoda, Akito Monden, Amjed Tahir, Kwabena Ebo Bennin, Koji Toda, Keitaro Nakasai
Comments: 5 pages, 3 figures, 2 table. The paper is published from IEICE
Subjects: Software Engineering (cs.SE)
[143] arXiv:2404.11050 [pdf, html, other]
Title: An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Mohannad Alhanahnah, Md Rashedul Hasan, Hamid Bagheri
Subjects: Software Engineering (cs.SE)
[144] arXiv:2404.11106 [pdf, html, other]
Title: Characterizing Requirements Smells
Emanuele Gentili, Davide Falessi
Subjects: Software Engineering (cs.SE)
[145] arXiv:2404.11223 [pdf, html, other]
Title: AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan Samhi, Andreas Zeller
Subjects: Software Engineering (cs.SE)
[146] arXiv:2404.11294 [pdf, html, other]
Title: LogSD: Detecting Anomalies from System Logs through Self-supervised Learning and Frequency-based Masking
Yongzheng Xie, Hongyu Zhang, Muhammad Ali Babar
Comments: 23 pages with 11 figures
Subjects: Software Engineering (cs.SE)
[147] arXiv:2404.11376 [pdf, html, other]
Title: From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
Aaron Conrardy, Jordi Cabot
Comments: Accepted in First Large Language Models for Model-Driven Engineering Workshop (LLM4MDE 2024)
Subjects: Software Engineering (cs.SE)
[148] arXiv:2404.11411 [pdf, html, other]
Title: EcoMLS: A Self-Adaptation Approach for Architecting Green ML-Enabled Systems
Meghana Tedla, Shubham Kulkarni, Karthik Vaidhyanathan
Subjects: Software Engineering (cs.SE)
[149] arXiv:2404.11467 [pdf, html, other]
Title: A Large-scale Fine-grained Analysis of Packages in Open-Source Software Ecosystems
Xiaoyan Zhou, Feiran Liang, Zhaojie Xie, Yang Lan, Wenjia Niu, Jiqiang Liu, Haining Wang, Qiang Li
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[150] arXiv:2404.11498 [pdf, html, other]
Title: Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu, Patrizio Pelliccione, Genaina Rodrigues, Thorsten Berger
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[151] arXiv:2404.11542 [pdf, html, other]
Title: A Lean Simulation Framework for Stress Testing IoT Cloud Systems
Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
Comments: Accepted to the IEEE Transactions on Software Engineering. arXiv admin note: text overlap with arXiv:2208.06954
Subjects: Software Engineering (cs.SE)
[152] arXiv:2404.11595 [pdf, html, other]
Title: A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Nguyen, Omer Tripp
Subjects: Software Engineering (cs.SE)
[153] arXiv:2404.11671 [pdf, html, other]
Title: A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Ian McCormack, Joshua Sunshine, Jonathan Aldrich
Comments: 13 pages, preprint
Subjects: Software Engineering (cs.SE)
[154] arXiv:2404.11763 [pdf, html, other]
Title: The Code the World Depends On: A First Look at Technology Makers' Open Source Software Dependencies
Cadence Patrick, Kimberly Ruth, Zakir Durumeric
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[155] arXiv:2404.12000 [pdf, html, other]
Title: How far are AI-powered programming assistants from meeting developers' needs?
Xin Tan, Xiao Long, Xianjun Ni, Yinghao Zhu, Jing Jiang, Li Zhang
Subjects: Software Engineering (cs.SE)
[156] arXiv:2404.12035 [pdf, html, other]
Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[157] arXiv:2404.12226 [pdf, html, other]
Title: A cooperative strategy for diagnosing the root causes of quality requirement violations in multiagent systems
João Faccin, Ingrid Nunes, Abdelwahab Hamou-Lhadj
Subjects: Software Engineering (cs.SE)
[158] arXiv:2404.12335 [pdf, html, other]
Title: Normative Requirements Operationalization with Large Language Models
Nick Feng, Lina Marsso, S. Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Bev Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Subjects: Software Engineering (cs.SE)
[159] arXiv:2404.12576 [pdf, html, other]
Title: Requirements Satisfiability with In-Context Learning
Sarah Santos, Travis Breaux, Thomas Norton, Sara Haghighi, Sepideh Ghanavati
Journal-ref: IEEE International Requirements Engineering Conference, 2024
Subjects: Software Engineering (cs.SE)
[160] arXiv:2404.12621 [pdf, html, other]
Title: Research on WebAssembly Runtimes: A Survey
Yixuan Zhang, Mugeng Liu, Haoyu Wang, Yun Ma, Gang Huang, Xuanzhe Liu
Subjects: Software Engineering (cs.SE)
[161] arXiv:2404.12636 [pdf, html, other]
Title: Multi-Objective Fine-Tuning for Enhanced Program Repair with LLMs
Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin
Subjects: Software Engineering (cs.SE)
[162] arXiv:2404.12736 [pdf, html, other]
Title: Large Language Model Supply Chain: A Research Agenda
Shenao Wang, Yanjie Zhao, Xinyi Hou, Haoyu Wang
Comments: Accepted by 2030 Software Engineering Workshop, co-located with FSE'24. This is an extended and revised version of our paper submitted to the TOSEM Special Issue: 2030 Software Engineering Roadmap
Subjects: Software Engineering (cs.SE)
[163] arXiv:2404.12737 [pdf, html, other]
Title: LLM App Store Analysis: A Vision and Roadmap
Yanjie Zhao, Xinyi Hou, Shenao Wang, Haoyu Wang
Subjects: Software Engineering (cs.SE)
[164] arXiv:2404.12772 [pdf, html, other]
Title: Generating Test Scenarios from NL Requirements using Retrieval-Augmented LLMs: An Industrial Study
Chetan Arora, Tomas Herda, Verena Homm
Subjects: Software Engineering (cs.SE)
[165] arXiv:2404.12833 [pdf, html, other]
Title: How Far Can We Go with Practical Function-Level Program Repair?
Jiahong Xiang, Xiaoyang Xu, Fanchu Kong, Mingyuan Wu, Zizheng Zhang, Haotian Zhang, Yuqun Zhang
Comments: this https URL
Subjects: Software Engineering (cs.SE)
[166] arXiv:2404.12892 [pdf, html, other]
Title: A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[167] arXiv:2404.12932 [pdf, html, other]
Title: The Visual Debugger Tool
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
Subjects: Software Engineering (cs.SE)
[168] arXiv:2404.12941 [pdf, html, other]
Title: Towards behavioral consistency in heterogeneous modeling scenarios
Tim Kräuter
Subjects: Software Engineering (cs.SE)
[169] arXiv:2404.13295 [pdf, html, other]
Title: Detecting Build Dependency Errors in Incremental Builds
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger
Subjects: Software Engineering (cs.SE)
[170] arXiv:2404.13340 [pdf, html, other]
Title: Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
Kefan Li, Yuan Yuan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[171] arXiv:2404.13462 [pdf, other]
Title: Exploring Hybrid Work Realities: A Case Study with Software Professionals From Underrepresented Groups
Ronnie de Souza Santos, Cleyton Magalhes, Robson Santons, Jorge Correia-Neto
Subjects: Software Engineering (cs.SE)
[172] arXiv:2404.13464 [pdf, other]
Title: Paths to Testing: Why Women Enter and Remain in Software Testing?
Kleice Silva, Ann Barcomb, Ronnie de Souza Santos
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[173] arXiv:2404.13630 [pdf, other]
Title: Utilizing Deep Learning to Optimize Software Development Processes
Keqin Li, Armando Zhu, Peng Zhao, Jintong Song, Jiabei Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[174] arXiv:2404.13945 [pdf, html, other]
Title: How do LLMs Support Deep Learning Testing? A Comprehensive Study Through the Lens of Image Mutation
Liwen Wang, Yuanyuan Yuan, Ao Sun, Zongjie Li, Pingchuan Ma, Daoyuan Wu, Shuai Wang
Subjects: Software Engineering (cs.SE)
[175] arXiv:2404.13951 [pdf, html, other]
Title: Program Environment Fuzzing
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Comments: 15 pages, 5 figures, 7 tables
Subjects: Software Engineering (cs.SE)
[176] arXiv:2404.14029 [pdf, html, other]
Title: Teaching Scrum with a focus on compliance assessment
Marco Torchiano, Antonio Vetrò, Riccardo Coppola
Comments: Submitted to LEARNER 2024 workshop
Subjects: Software Engineering (cs.SE)
[177] arXiv:2404.14030 [pdf, html, other]
Title: Towards Using Behavior Trees in Industrial Automation Controllers
Aleksandr Sidorenko, Mahdi Rezapour, Achim Wagner, Martin Ruskowski
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[178] arXiv:2404.14097 [pdf, html, other]
Title: MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld
Subjects: Software Engineering (cs.SE)
[179] arXiv:2404.14251 [pdf, html, other]
Title: Microservices a Definition Analyzed by {\ss}MACH
Marcus Hilbrich, Ninon De Mecquenem
Subjects: Software Engineering (cs.SE)
[180] arXiv:2404.14273 [pdf, html, other]
Title: VAMP: Visual Analytics for Microservices Performance
Luca Traini, Jessica Leone, Giovanni Stilo, Antinisca Di Marco
Comments: Accepted for publication in The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24)
Journal-ref: VAMP: Visual Analytics for Microservices Performance. In The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24), April 8-12, 2024, Avila, Spain
Subjects: Software Engineering (cs.SE)
[181] arXiv:2404.14296 [pdf, html, other]
Title: Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach
Yao Wan, Guanghua Wan, Shijie Zhang, Hongyu Zhang, Pan Zhou, Hai Jin, Lichao Sun
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[182] arXiv:2404.14356 [pdf, html, other]
Title: Rethinking Legal Compliance Automation: Opportunities with Large Language Models
Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao
Comments: Accepted for publication at the RE@Next! track of RE 2024
Subjects: Software Engineering (cs.SE)
[183] arXiv:2404.14364 [pdf, html, other]
Title: Toward Research Software Categories
Wilhelm Hasselbring, Stephan Druskat, Jan Bernoth, Philine Betker, Michael Felderer, Stephan Ferenz, Anna-Lena Lamprecht, Jan Linxweiler, Bernhard Rumpe
Comments: 10 pages
Subjects: Software Engineering (cs.SE)
[184] arXiv:2404.14370 [pdf, html, other]
Title: Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
Gábor Antal, Richárd Vozár, Rudolf Ferenc
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[185] arXiv:2404.14419 [pdf, html, other]
Title: Evaluation and Improvement of Fault Detection for Large Language Models
Qiang Hu, Jin Wen, Maxime Cordy, Yuheng Huang, Wei Ma, Xiaofei Xie, Lei Ma
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[186] arXiv:2404.14448 [pdf, other]
Title: Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates
Rohan Agarwal
Subjects: Software Engineering (cs.SE)
[187] arXiv:2404.14459 [pdf, html, other]
Title: LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations
Rebeka Tóth, Tamas Bisztray, László Erdodi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[188] arXiv:2404.14637 [pdf, html, other]
Title: Open Source Software Development Tool Installation: Challenges and Strategies For Novice Developers
Larissa Salerno, Christoph Treude, Patanamon Thongtatunam
Subjects: Software Engineering (cs.SE)
[189] arXiv:2404.14646 [pdf, html, other]
Title: Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
Zhen Yang, Fang Liu, Zhongxing Yu, Jacky Wai Keung, Jia Li, Shuo Liu, Yifan Hong, Xiaoxue Ma, Zhi Jin, Ge Li
Comments: 23 pages, 7 figures, accepted by FSE'24 (2024 ACM International Conference on the Foundations of Software Engineering)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[190] arXiv:2404.14710 [pdf, other]
Title: Challenges of Using Pre-trained Models: the Practitioners' Perspective
Xin Tan, Taichuan Li, Ruohe Chen, Fang Liu, Li Zhang
Comments: SANER 2024
Subjects: Software Engineering (cs.SE)
[191] arXiv:2404.14823 [pdf, html, other]
Title: In industrial embedded software, are some compilation errors easier to localize and fix than others?
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
Comments: 12 pages, 10 figures, ICST 2024
Subjects: Software Engineering (cs.SE)
[192] arXiv:2404.14824 [pdf, html, other]
Title: Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
Pengyu Xue, Linhao Wu, Zhongxing Yu, Zhi Jin, Zhen Yang, Xinyi Li, Zhenyu Yang, Yue Tan
Subjects: Software Engineering (cs.SE)
[193] arXiv:2404.14871 [pdf, html, other]
Title: Exploring Human-AI Collaboration in Agile: Customised LLM Meeting Assistants
Beatriz Cabrero-Daniel, Tomas Herda, Victoria Pichler, Martin Eder
Comments: International Conference on Agile Software Development (XP 2024), 14 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[194] arXiv:2404.14877 [pdf, html, other]
Title: Combining Retrieval and Classification: Balancing Efficiency and Accuracy in Duplicate Bug Report Detection
Qianru Meng, Xiao Zhang, Guus Ramackers, Visser Joost
Comments: In Proceedings of the Eighteenth International Conference on Software Engineering Advances (ICSEA 2023) (pp. 75-84). IARIA. ISBN: 978-1-68558-098-8. Valencia, Spain, November 13-17, 2023
Subjects: Software Engineering (cs.SE)
[195] arXiv:2404.14901 [pdf, html, other]
Title: Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Ranim Khojah, Mazen Mohamad, Philipp Leitner, Francisco Gomes de Oliveira Neto
Comments: Accepted at the ACM International Conference on the Foundations of Software Engineering (FSE) 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[196] arXiv:2404.15093 [pdf, html, other]
Title: Who's actually being Studied? A Call for Population Analysis in Software Engineering Research
Jefferson Seide Molléri
Subjects: Software Engineering (cs.SE)
[197] arXiv:2404.15236 [pdf, html, other]
Title: Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
Aidan Z.H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues
Subjects: Software Engineering (cs.SE)
[198] arXiv:2404.15317 [pdf, html, other]
Title: Concept-Guided LLM Agents for Human-AI Safety Codesign
Florian Geissler, Karsten Roscher, Mario Trapp
Comments: 5 pages
Journal-ref: Proceedings of the AAAI-make Spring Symposium, 2024
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[199] arXiv:2404.15596 [pdf, html, other]
Title: VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection
Xin-Cheng Wen, Xinchen Wang, Yujia Chen, Ruida Hu, David Lo, Cuiyun Gao
Comments: 12 pages
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[200] arXiv:2404.15687 [pdf, html, other]
Title: Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Zhaoyang Chu, Yao Wan, Qian Li, Yang Wu, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin
Comments: This paper was accepted in the proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[201] arXiv:2404.16297 [pdf, html, other]
Title: When Fuzzing Meets LLMs: Challenges and Opportunities
Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, ShanShan Li, Quan Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[202] arXiv:2404.16333 [pdf, html, other]
Title: AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
Zhensu Sun, Xiaoning Du, Zhou Yang, Li Li, David Lo
Comments: Accepted by ISSTA'24
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[203] arXiv:2404.16395 [pdf, html, other]
Title: Fuzzy Inference System for Test Case Prioritization in Software Testing
Aron Karatayev, Anna Ogorodova, Pakizar Shamoi
Comments: The article has been submitted to IEEE for consideration
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[204] arXiv:2404.16457 [pdf, html, other]
Title: Towards Precise Observations of Neural Model Robustness in Classification
Wenchuan Mu, Kwan Hui Lim
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[205] arXiv:2404.16565 [pdf, html, other]
Title: PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Kai Gao, Weiwei Xu, Wenhao Yang, Minghui Zhou
Comments: This paper has been accepted at FSE 2024
Subjects: Software Engineering (cs.SE)
[206] arXiv:2404.16630 [pdf, html, other]
Title: Legal Aspects for Software Developers Interested in Generative AI Applications
Steffen Herbold, Brian Valerius, Anamaria Mojica-Hanke, Isabella Lex, Joel Mittel
Comments: Submission under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[207] arXiv:2404.16644 [pdf, html, other]
Title: Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs
Jakob Droste, Hannah Deters, Martin Obaidi, Kurt Schneider
Comments: Preprint for research paper accepted at the 32nd IEEE International Requirements Engineering 2024 conference
Subjects: Software Engineering (cs.SE)
[208] arXiv:2404.16688 [pdf, html, other]
Title: Reusing Deep Learning Models: Challenges and Directions in Software Engineering
James C. Davis, Purvish Jajal, Wenxin Jiang, Taylor R. Schorlemmer, Nicholas Synovic, George K. Thiruvathukal
Comments: Proceedings of the IEEE John Vincent Atanasoff Symposium on Modern Computing (JVA'23) 2023
Subjects: Software Engineering (cs.SE)
[209] arXiv:2404.16737 [pdf, other]
Title: Open Source Software (OSS) Transparency for DoD Acquisition
Nancy Mead, Carol Woody, Scott Hissam
Comments: Naval Post-graduate School, Monterey, CA, US, May 8-9 2024
Subjects: Software Engineering (cs.SE)
[210] arXiv:2404.16915 [pdf, html, other]
Title: Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
Comments: 2 pages, 3 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[211] arXiv:2404.16947 [pdf, other]
Title: Fuzzing MLIR Compilers with Custom Mutation Synthesis
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim
Subjects: Software Engineering (cs.SE)
[212] arXiv:2404.16992 [pdf, html, other]
Title: A Catalog of Transformations to Remove Smells From Natural Language Tests
Manoel Aranda, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado
Comments: Distinguished Paper Award at International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024 edition
Subjects: Software Engineering (cs.SE)
[213] arXiv:2404.17009 [pdf, html, other]
Title: What You Use is What You Get: Unforced Errors in Studying Cultural Aspects in Agile Software Development
Michael Neumann, Klaus Schmid, Lars Baumann
Subjects: Software Engineering (cs.SE)
[214] arXiv:2404.17020 [pdf, html, other]
Title: Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[215] arXiv:2404.17036 [pdf, html, other]
Title: Understanding the Career Mobility of Blind and Low Vision Software Professionals
Yoonha Cha, Victoria Jackson, Isabela Figueira, Stacy M. Branham, André van der Hoek
Comments: 12 pages, 1 table, conference paper, 2024 ACM / IEEE 17th International Conference on Cooperative and Human Aspects of Software Engineering
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[216] arXiv:2404.17046 [pdf, html, other]
Title: Unraveling Code Clone Dynamics in Deep Learning Frameworks
Maram Assi, Safwat Hassan, Ying Zou
Comments: 37 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[217] arXiv:2404.17110 [pdf, html, other]
Title: Software Vulnerability Prediction in Low-Resource Languages: An Empirical Study of CodeBERT and ChatGPT
Triet H. M. Le, M. Ali Babar, Tung Hoang Thai
Comments: Accepted in the 4th International Workshop on Software Security co-located with the 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) 2024
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[218] arXiv:2404.17153 [pdf, html, other]
Title: A Unified Debugging Approach via LLM-Based Multi-Agent Synergy
Cheryl Lee, Chunqiu Steven Xia, Longji Yang, Jen-tse Huang, Zhouruixin Zhu, Lingming Zhang, Michael R. Lyu
Subjects: Software Engineering (cs.SE)
[219] arXiv:2404.17244 [pdf, html, other]
Title: Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System
Abdullatif AlShriaf, Hans-Martin Heyn, Eric Knauss
Comments: Accepted at 32nd IEEE International Requirements Engineering Conference (RE24), Posters and Tool Demos Track, Reykjavik, Iceland, 2024
Subjects: Software Engineering (cs.SE)
[220] arXiv:2404.17332 [pdf, html, other]
Title: Managing Security Evidence in Safety-Critical Organizations
Mazen Mohamad, Jan-Philipp Steghöfer, Eric Knauss, Riccardo Scandariato
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[221] arXiv:2404.17338 [pdf, html, other]
Title: Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
T.Chuprina, D.Méndez (1,2), V.Nigam, M.Reich (3,4), A.Schweiger (3) ((1) fortiss GmbH, (2) Blekinge Institute of Technology, (3) Airbus Defence and Space GmbH, (4) Technische University of Chemnitz)
Comments: 6 pages with 3 figures
Subjects: Software Engineering (cs.SE)
[222] arXiv:2404.17347 [pdf, html, other]
Title: InspectorRAGet: An Introspection Platform for RAG Evaluation
Kshitij Fadnis, Siva Sankalp Patel, Odellia Boni, Yannis Katsis, Sara Rosenthal, Benjamin Sznajder, Marina Danilevsky
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[223] arXiv:2404.17403 [pdf, html, other]
Title: Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries
Alexandros Tsakpinis, Alexander Pretschner
Comments: 6 pages, 3 figures, accepted at 28th edition of International Conference on Evaluation and Assessment in Software Engineering (EASE 2024)
Subjects: Software Engineering (cs.SE)
[224] arXiv:2404.17417 [pdf, html, other]
Title: How do annotations affect Java code readability?
Eduardo Guerra, Everaldo Gomes, Jeferson Ferreira, Igor Wiese, Phyllipe Lima, Marco Gerosa, Paulo Meirelles
Comments: Accepted to Empirical Software Engineering (EMSE) Journal
Subjects: Software Engineering (cs.SE)
[225] arXiv:2404.17465 [pdf, other]
Title: Fast Abstracts and Student Forum Proceedings -- EDCC 2024 -- 19th European Dependable Computing Conference
Simona Bernardi, Tommaso Zoppi
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Robotics (cs.RO)
[226] arXiv:2404.17522 [pdf, html, other]
Title: Enhancing Legal Compliance and Regulation Analysis with Large Language Models
Shabnam Hassani
Comments: to be published in 32nd IEEE International Requirements Engineering 2024 Conference (RE'24) - Doctoral Symposium. arXiv admin note: text overlap with arXiv:2404.14356
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[227] arXiv:2404.17739 [pdf, html, other]
Title: How LLMs Aid in UML Modeling: An Exploratory Study with Novice Analysts
Beian Wang, Chong Wang, Peng Liang, Bing Li, Cheng Zeng
Comments: The 21st IEEE International Conference on Software Services Engineering (SSE)
Subjects: Software Engineering (cs.SE)
[228] arXiv:2404.17818 [pdf, html, other]
Title: Automatic Build Repair for Test Cases using Incompatible Java Versions
Ching Hang Mak, Shing-Chi Cheung
Comments: 44 pages, 22 figures (incl. tables and listings); To be published in Information and Software Technology. Link to artifact is available within the paper
Subjects: Software Engineering (cs.SE)
[229] arXiv:2404.17842 [pdf, html, other]
Title: Using LLMs in Software Requirements Specifications: An Empirical Evaluation
Madhava Krishna, Bhagesh Gaur, Arsh Verma, Pankaj Jalote
Comments: Accepted to RE@Next! at the IEEE International Requirements Engineering Conference 2024 at Reykjavik, Iceland
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[230] arXiv:2404.17866 [pdf, html, other]
Title: IRatePL2C: Importance Rating-based Approach for Product Lines Collaborative Configuration
Sihem Ben Sassi
Journal-ref: the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ISBN 978-989-758-696-5, ISSN 2184-4895, 2024, pages 784-791
Subjects: Software Engineering (cs.SE)
[231] arXiv:2404.17871 [pdf, html, other]
Title: A Survey of Deep Learning Library Testing Methods
Xiaoyu Zhang, Weipeng Jiang, Chao Shen, Qi Li, Qian Wang, Chenhao Lin, Xiaohong Guan
Comments: 34 pages, 8 figures, 4 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[232] arXiv:2404.17896 [pdf, html, other]
Title: How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching
Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta
Subjects: Software Engineering (cs.SE)
[233] arXiv:2404.17955 [pdf, html, other]
Title: A Survey of Third-Party Library Security Research in Application Software
Jia Zeng, Dan Han, Yaling Zhu, Yangzhong Wang, Fangchen Weng
Comments: 21 pages, 3 figures, one table
Subjects: Software Engineering (cs.SE)
[234] arXiv:2404.17964 [pdf, html, other]
Title: Automating Zero-Shot Patch Porting for Hard Forks
Shengyi Pan, You Wang, Zhongxin Liu, Xing Hu, Xin Xia, Shanping Li
Comments: Accepted by ISSTA 2024
Subjects: Software Engineering (cs.SE)
[235] arXiv:2404.17966 [pdf, html, other]
Title: Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall, Paul Gazzillo
Subjects: Software Engineering (cs.SE)
[236] arXiv:2404.18001 [pdf, html, other]
Title: LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing
Zeyang Ma, An Ran Chen, Dong Jae Kim, Tse-Hsun Chen, Shaowei Wang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[237] arXiv:2404.18125 [pdf, html, other]
Title: A Large-Scale Empirical Study of COVID-19 Contact Tracing Mobile App Reviews
Sifat Ishmam Parisa, Md Awsaf Alam Anindya, Anindya Iqbal, Gias Uddin
Subjects: Software Engineering (cs.SE)
[238] arXiv:2404.18186 [pdf, html, other]
Title: Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
Comments: to appear at FSE 2024
Subjects: Software Engineering (cs.SE)
[239] arXiv:2404.18496 [pdf, html, other]
Title: AI-powered Code Review with LLMs: Early Results
Zeeshan Rasheed, Malik Abdul Sami, Muhammad Waseem, Kai-Kristian Kemell, Xiaofeng Wang, Anh Nguyen, Kari Systä, Pekka Abrahamsson
Comments: 8 pages
Subjects: Software Engineering (cs.SE)
[240] arXiv:2404.18515 [pdf, html, other]
Title: An Agile Formal Specification Language Design Based on K Framework
Jianyu Zhang, Long Zhang, Yixuan Wu, Feng Yang
Subjects: Software Engineering (cs.SE)
[241] arXiv:2404.18531 [pdf, html, other]
Title: A Framework to Model ML Engineering Processes
Sergio Morales, Robert Clarisó, Jordi Cabot
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[242] arXiv:2404.18558 [pdf, html, other]
Title: LangBiTe: A Platform for Testing Bias in Large Language Models
Sergio Morales, Robert Clarisó, Jordi Cabot
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[243] arXiv:2404.18577 [pdf, html, other]
Title: Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing
Stefano Carlo Lambertenghi, Andrea Stocco
Comments: In Proceedings of 17th IEEE International Conference on Software Testing, Verification and Validation 2024 (ICST '24)
Subjects: Software Engineering (cs.SE)
[244] arXiv:2404.18596 [pdf, html, other]
Title: FauxPy: A Fault Localization Tool for Python
Mohammad Rezaalipour, Carlo A. Furia
Subjects: Software Engineering (cs.SE)
[245] arXiv:2404.18677 [pdf, html, other]
Title: Towards the First Code Contribution: Processes and Information Needs
Christoph Treude, Marco A. Gerosa, Igor Steinmacher
Subjects: Software Engineering (cs.SE)
[246] arXiv:2404.18682 [pdf, html, other]
Title: Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE
Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi Rukmono, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral
Subjects: Software Engineering (cs.SE)
[247] arXiv:2404.18756 [pdf, html, other]
Title: K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
Jianhong Zhao, Jinhui Kang, Yongwang Zhao
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[248] arXiv:2404.18771 [pdf, html, other]
Title: KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
Subjects: Software Engineering (cs.SE)
[249] arXiv:2404.18887 [pdf, html, other]
Title: PrescientFuzz: A more effective exploration approach for grey-box fuzzing
Daniel Blackwell, David Clark
Comments: 20 pages, 12 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[250] arXiv:2404.19025 [pdf, other]
Title: Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
Iftakhar Ahmad, Lannan Luo
Comments: conference
Journal-ref: The 2023 Conference on Empirical Methods in Natural Language Processing. 2023
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[251] arXiv:2404.19100 [pdf, html, other]
Title: Predicting Fairness of ML Software Configurations
Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
Comments: To Appear in the 20th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'24)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[252] arXiv:2404.19226 [pdf, other]
Title: A Survey of Deep Learning Based Software Refactoring
Bridget Nyirongo, Yanjie Jiang, He Jiang, Hui Liu
Comments: 45 pages, 8 figures
Subjects: Software Engineering (cs.SE)
[253] arXiv:2404.19307 [pdf, other]
Title: Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey
Han Hu, Han Wang, Ruiqi Dong, Xiao Chen, Chunyang Chen
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[254] arXiv:2404.19318 [pdf, other]
Title: Enhancing Trust in LLM-Generated Code Summaries with Calibrated Confidence Scores
Yuvraj Virk, Premkumar Devanbu, Toufique Ahmed
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[255] arXiv:2404.19368 [pdf, html, other]
Title: Exploring Multi-Lingual Bias of Large Code Models in Code Generation
Chaozheng Wang, Zongjie Li, Cuiyun Gao, Wenxuan Wang, Ting Peng, Hailiang Huang, Yuetang Deng, Shuai Wang, Michael R. Lyu
Comments: 12 pages
Subjects: Software Engineering (cs.SE)
[256] arXiv:2404.19614 [pdf, html, other]
Title: COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
Comments: This preprint is the author version of the paper published at COORDINATION 2024
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[257] arXiv:2404.19633 [pdf, other]
Title: SEArch: an execution infrastructure for service-based software systems
Carlos G. Lopez Pombo, Pablo Montepagano, Emilio Tuosto
Subjects: Software Engineering (cs.SE)
[258] arXiv:2404.19643 [pdf, other]
Title: Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
Mazen Mohamad, Ramana Reddy Avula, Peter Folkesson, Pierre Kleberger, Aria Mirzai, Martin Skoglund, Marvin Damschen
Subjects: Software Engineering (cs.SE)
[259] arXiv:2404.00599 (cross-list from cs.CL) [pdf, html, other]
Title: EvoCodeBench: An Evolving Code Generation Benchmark Aligned with Real-World Code Repositories
Jia Li, Ge Li, Xuanming Zhang, Yihong Dong, Zhi Jin
Comments: Data: this https URL
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[260] arXiv:2404.00897 (cross-list from cs.LG) [pdf, html, other]
Title: Machine Learning Robustness: A Primer
Houssem Ben Braiek, Foutse Khomh
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[261] arXiv:2404.01363 (cross-list from cs.OS) [pdf, html, other]
Title: AIOps Solutions for Incident Management: Technical Guidelines and A Comprehensive Literature Review
Youcef Remil, Anes Bendimerad, Romain Mathonat, Mehdi Kaytoue
Subjects: Operating Systems (cs.OS); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[262] arXiv:2404.01549 (cross-list from cs.CL) [pdf, html, other]
Title: Octopus: On-device language model for function calling of software APIs
Wei Chen, Zhiyuan Li, Mingyuan Ma
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[263] arXiv:2404.01836 (cross-list from cs.RO) [pdf, html, other]
Title: CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS
Christian Geller, Benedikt Haas, Amarin Kloeker, Jona Hermens, Bastian Lampe, Till Beemelmanns, Lutz Eckstein
Comments: 7 pages, 5 figures, 1 table; Accepted to be published as part of the 35th IEEE Intelligent Vehicles Symposium (IV), Jeju Island, Korea, June 2-5, 2024
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[264] arXiv:2404.03442 (cross-list from cs.CR) [pdf, html, other]
Title: Privacy Engineering From Principles to Practice: A Roadmap
Frank Pallas, Katharina Koerner, Isabel Barberá, Jaap-Henk Hoepman, Meiko Jensen, Nandita Rao Narla, Nikita Samarin, Max-R. Ulbricht, Isabel Wagner, Kim Wuyts, Christian Zimmermann
Journal-ref: IEEE Security & Privacy, volume 22, issue 2, March-April 2024
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)
[265] arXiv:2404.03624 (cross-list from cs.AI) [pdf, html, other]
Title: Standardizing Knowledge Engineering Practices with a Reference Architecture
Bradley P. Allen, Filip Ilievski
Comments: 23 pages, 4 figures, 2 tables, camera-ready version, accepted for Transactions on Graph Data and Knowledge (TGDK)
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[266] arXiv:2404.04722 (cross-list from cs.CL) [pdf, html, other]
Title: PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics
Derui Zhu, Dingfan Chen, Qing Li, Zongxiong Chen, Lei Ma, Jens Grossklags, Mario Fritz
Comments: 15 pages
Subjects: Computation and Language (cs.CL); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[267] arXiv:2404.04731 (cross-list from cs.PL) [pdf, other]
Title: SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
Comments: 23 pages, 7 figures
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[268] arXiv:2404.04902 (cross-list from cs.AI) [pdf, html, other]
Title: AI2Apps: A Visual IDE for Building LLM-based AI Agent Applications
Xin Pang, Zhucong Li, Jiaxiang Chen, Yuan Cheng, Yinghui Xu, Yuan Qi
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[269] arXiv:2404.04991 (cross-list from cs.CR) [pdf, html, other]
Title: OSS Malicious Package Analysis in the Wild
Xiaoyan Zhou, Ying Zhang, Wenjia Niu, Jiqiang Liu, Haining Wang, Qiang Li
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[270] arXiv:2404.05297 (cross-list from cs.CR) [pdf, html, other]
Title: Automated Attack Synthesis for Constant Product Market Makers
Sujin Han, Jinseo Kim, Sung-Ju Lee, Insu Yun
Comments: 12 pages, 8 figures
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[271] arXiv:2404.05442 (cross-list from cs.HC) [pdf, other]
Title: Unlocking Adaptive User Experience with Generative AI
Yutan Huang, Tanjila Kanij, Anuradha Madugalla, Shruti Mahajan, Chetan Arora, John Grundy
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[272] arXiv:2404.05598 (cross-list from cs.CR) [pdf, other]
Title: Hook-in Privacy Techniques for gRPC-based Microservice Communication
Louis Loechel, Siar-Remzi Akbayin, Elias Grünewald, Jannis Kiesel, Inga Strelnikova, Thomas Janke, Frank Pallas
Comments: 15 pages, accepted for the ICWE, International Conference on Web Engineering, 2024, research paper
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[273] arXiv:2404.06203 (cross-list from cs.DC) [pdf, html, other]
Title: A Comprehensive Benchmarking Analysis of Fault Recovery in Stream Processing Frameworks
Adriano Vogel, Sören Henning, Esteban Perez-Wohlfeil, Otmar Ertl, Rick Rabiser
Comments: Accepted for publication in the 18th ACM International Conference on Distributed and Event-Based Systems (DEBS'24), June 24-28, 2024, Villeurbanne, France, 12 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[274] arXiv:2404.06314 (cross-list from quant-ph) [pdf, other]
Title: Qiskit-Torch-Module: Fast Prototyping of Quantum Neural Networks
Nico Meyer, Christian Ufrecht, Maniraman Periyasamy, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Andreas Maier
Comments: Accepted to the IEEE International Conference on Quantum Computing and Engineering (QCE 2024), Montréal, Québec, Canada. 7 pages, 4 figures, 3 tables
Subjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Software Engineering (cs.SE)
[275] arXiv:2404.06369 (cross-list from cs.CV) [pdf, html, other]
Title: VISION2UI: A Real-World Dataset with Layout for Code Generation from UI Designs
Yi Gui, Zhen Li, Yao Wan, Yemin Shi, Hongyu Zhang, Yi Su, Shaoling Dong, Xing Zhou, Wenbin Jiang
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[276] arXiv:2404.06827 (cross-list from cs.PF) [pdf, html, other]
Title: Impact of Extensions on Browser Performance: An Empirical Study on Google Chrome
Bihui Jin, Heng Li, Ying Zou
Subjects: Performance (cs.PF); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[277] arXiv:2404.07235 (cross-list from cs.AR) [pdf, html, other]
Title: LLM-aided explanations of EDA synthesis errors
Siyu Qiu, Benjamin Tan, Hammond Pearce
Comments: 6 pages, 6 figures. Accepted in IEEE LLM Aided Design Workshop (LAD'2024)
Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[278] arXiv:2404.08029 (cross-list from cs.LG) [pdf, html, other]
Title: A Multi-Expert Large Language Model Architecture for Verilog Code Generation
Bardia Nadimi, Hao Zheng
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[279] arXiv:2404.08147 (cross-list from quant-ph) [pdf, html, other]
Title: LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)
Scott Wesley
Comments: Added a new circuit decomposition reference (see fig. 22)
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[280] arXiv:2404.08817 (cross-list from cs.CL) [pdf, html, other]
Title: Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
Yewei Song, Cedric Lothritz, Daniel Tang, Tegawendé F. Bissyandé, Jacques Klein
Comments: ACL 2024 Main
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[281] arXiv:2404.09058 (cross-list from cs.CR) [pdf, html, other]
Title: GView: A Versatile Assistant for Security Researchers
Raul Zaharia, Dragoş Gavriluţ, Gheorghiţă Mutu, Dorel Lucanu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[282] arXiv:2404.09305 (cross-list from cs.AI) [pdf, html, other]
Title: OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
Luca Buoncompagni, Fulvio Mastrogiovanni
Comments: This manuscript details the implementation of the OWLOOP API. A simplified (and "citable") presentation of our API has been published in the SoftwareX Elsevier journal with the title "OWLOOP: A modular API to describe OWL axioms in OOP objects hierarchies" ( this https URL). The OWLOOP API repository is available at this https URL
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO); Software Engineering (cs.SE)
[283] arXiv:2404.09486 (cross-list from cs.CL) [pdf, other]
Title: MMCode: Benchmarking Multimodal Large Language Models for Code Generation with Visually Rich Programming Problems
Kaixin Li, Yuchen Tian, Qisheng Hu, Ziyang Luo, Zhiyong Huang, Jing Ma
Comments: EMNLP 2024
Subjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[284] arXiv:2404.09894 (cross-list from cs.CL) [pdf, html, other]
Title: Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[285] arXiv:2404.09916 (cross-list from quant-ph) [pdf, html, other]
Title: Comprehensive Library of Variational LSE Solvers
Nico Meyer, Martin Röhn, Jakob Murauer, Axel Plinge, Christopher Mutschler, Daniel D. Scherer
Comments: Accepted to the 2nd International Workshop on Quantum Machine Learning: From Research to Practice (QML@QCE 2024), Montréal, Québec, Canada. 4 pages, 2 figures, 1 table
Subjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Software Engineering (cs.SE)
[286] arXiv:2404.10086 (cross-list from cs.DB) [pdf, other]
Title: Empowering Enterprise Development by Building and Deploying Admin Dashboard using Refine Framework
Sai Teja Gajjala, Devi Deepak Manchala, Bhargav Gummadelly, Naga Sailaja K
Subjects: Databases (cs.DB); Software Engineering (cs.SE)
[287] arXiv:2404.10713 (cross-list from cs.CV) [pdf, other]
Title: A Plausibility Study of Using Augmented Reality in the Ventriculoperitoneal Shunt Operations
Tandin Dorji, Pakinee Aimmanee, Vich Yindeedej
Comments: Accepted for the 2024 - 16th International Conference on Knowledge and Smart Technology (KST). To be published in IEEEXplore Digital Library (#61284), ISBN: 979-8-3503-7073-7
Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[288] arXiv:2404.11107 (cross-list from cs.CR) [pdf, html, other]
Title: KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
Bonan Ruan, Jiahao Liu, Chuqi Zhang, Zhenkai Liang
Comments: To appear in the 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2024)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[289] arXiv:2404.11338 (cross-list from cs.CR) [pdf, html, other]
Title: LLMs for Cyber Security: New Opportunities
Dinil Mon Divakaran, Sai Teja Peddinti
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[290] arXiv:2404.12747 (cross-list from cs.PL) [pdf, html, other]
Title: Customizing Static Analysis using Codesearch
Avi Hayoun, Veselin Raychev, Jack Hair
Comments: 34 pages, 2 figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[291] arXiv:2404.12837 (cross-list from cs.CR) [pdf, html, other]
Title: Towards a decentralized data privacy protocol for self-sovereignty in the digital world
Rodrigo Falcão, Arghavan Hosseinzadeh
Comments: To appear in the proceedings of RCIS 2024
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[292] arXiv:2404.12893 (cross-list from cs.CR) [pdf, html, other]
Title: The Power of Words: Generating PowerShell Attacks from Natural Language
Pietro Liguori, Christian Marescalco, Roberto Natella, Vittorio Orbinato, Luciano Pianese
Comments: 18th USENIX WOOT Conference on Offensive Technologies, GitHub Repo: this https URL
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[293] arXiv:2404.13672 (cross-list from cs.LO) [pdf, other]
Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)
Journal-ref: EPTCS 402, 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[294] arXiv:2404.13971 (cross-list from quant-ph) [pdf, html, other]
Title: HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers
Xiaotian Xu, Kuan-Cheng Chen, Robert Wille
Comments: 11 pages, 13 figures
Subjects: Quantum Physics (quant-ph); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[295] arXiv:2404.14299 (cross-list from quant-ph) [pdf, html, other]
Title: A Cross-Platform Execution Engine for the Quantum Intermediate Representation
Elaine Wong, Vicente Leyton Ortega, Daniel Claudino, Seth Johnson, Sharmin Afrose, Meenambika Gowrishankar, Anthony M. Cabrera, Travis S. Humble
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[296] arXiv:2404.14580 (cross-list from cs.CR) [pdf, html, other]
Title: Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)
[297] arXiv:2404.14662 (cross-list from cs.LG) [pdf, html, other]
Title: NExT: Teaching Large Language Models to Reason about Code Execution
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
Comments: 35 pages
Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[298] arXiv:2404.14870 (cross-list from cs.CR) [pdf, html, other]
Title: Super Mario in the Pernicious Kingdoms: Classifying glitches in old games
Llewellyn Forward, Io Limmer, Joseph Hallett, Dan Page
Comments: Presented at the 8th International Workshop on Games and Software Engineering (GAS), April 14 2024. Co-located with ICSE
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[299] arXiv:2404.15215 (cross-list from cs.LO) [pdf, html, other]
Title: Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
Márk Somorjai (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Mihály Dobos-Kovács (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Zsófia Ádám (Department of Measurement and Information Systems, Budapest University of Technology and Economics), Levente Bajczi (Department of Measurement and Information Systems, Budapest University of Technology and Economics), András Vörös (Department of Measurement and Information Systems, Budapest University of Technology and Economics)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672. This research was partially funded by the UNKP-22-2,3-I New National Excellence Program and Project no. 2019-1.3.1-KK-2019-00004, which has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme
Journal-ref: EPTCS 402, 2024, pp. 105-117
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[300] arXiv:2404.15247 (cross-list from cs.CL) [pdf, html, other]
Title: XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
Yifeng Ding, Jiawei Liu, Yuxiang Wei, Terry Yue Zhuo, Lingming Zhang
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[301] arXiv:2404.16075 (cross-list from cs.PL) [pdf, html, other]
Title: Validating Traces of Distributed Programs Against TLA+ Specifications
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[302] arXiv:2404.16243 (cross-list from cs.LO) [pdf, html, other]
Title: muRelBench: MicroBenchmarks for Zonotope Domains
Kenny Ballou, Elena Sherman
Comments: NEAT paper for SAS 2024
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[303] arXiv:2404.16632 (cross-list from cs.CR) [pdf, other]
Title: Introducing Systems Thinking as a Framework for Teaching and Assessing Threat Modeling Competency
Siddhant S. Joshi, Preeti Mukherjee, Kirsten A. Davis, James C. Davis
Comments: Presented at the Annual Conference of the American Society for Engineering Education (ASEE'24) 2024
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[304] arXiv:2404.16663 (cross-list from cs.LG) [pdf, html, other]
Title: Conditional Fairness for Generative AIs
Chih-Hong Cheng, Harald Ruess, Changshun Wu, Xingyu Zhao
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[305] arXiv:2404.16837 (cross-list from cs.CR) [pdf, other]
Title: The Security Performance Analysis of Blockchain System Based on Post-Quantum Cryptography -- A Case Study of Cryptocurrency Exchanges
Abel C. H. Chen
Comments: in Chinese language
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)
[306] arXiv:2404.17604 (cross-list from cs.HC) [pdf, html, other]
Title: Investigating Remote Hands-On Assistance for Collaborative Development of Embedded Systems
Yan Chen, Jasmine Jones
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[307] arXiv:2404.17839 (cross-list from cs.CR) [pdf, html, other]
Title: Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
Yizhou Chen, Zeyu Sun, Zhihao Gong, Dan Hao
Journal-ref: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE '24)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[308] arXiv:2404.18098 (cross-list from cs.LO) [pdf, html, other]
Title: Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Yuanrui Zhang
Comments: Minor modifications from the last version
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[309] arXiv:2404.18534 (cross-list from cs.CL) [pdf, html, other]
Title: Evaluating and Mitigating Linguistic Discrimination in Large Language Models
Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[310] arXiv:2404.18573 (cross-list from cs.LG) [pdf, html, other]
Title: Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
Ruben Grewal, Paolo Tonella, Andrea Stocco
Comments: In Proceedings of 17th IEEE International Conference on Software Testing, Verification and Validation 2024 (ICST '24)
Subjects: Machine Learning (cs.LG); Robotics (cs.RO); Software Engineering (cs.SE)
[311] arXiv:2404.18663 (cross-list from cs.CV) [pdf, other]
Title: Terrain characterisation for online adaptability of automated sonar processing: Lessons learnt from operationally applying ATR to sidescan sonar in MCM applications
Thomas Guerneve, Stephanos Loizou, Andrea Munafo, Pierre-Yves Mignotte
Comments: Presented at UACE (Underwater Acoustics Conference & Exhibition) 2023, Kalamata, Greece
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Robotics (cs.RO); Software Engineering (cs.SE)
[312] arXiv:2404.18801 (cross-list from cs.CV) [pdf, html, other]
Title: A Partial Replication of MaskFormer in TensorFlow on TPUs for the TensorFlow Model Garden
Vishal Purohit, Wenxin Jiang, Akshath R. Ravikiran, James C. Davis
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Software Engineering (cs.SE)
[313] arXiv:2404.18816 (cross-list from cs.CR) [pdf, html, other]
Title: AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering
Wenxiang Zhao, Juntao Wu, Zhaoyi Meng
Comments: Accepted by Expert Systems With Applications
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[314] arXiv:2404.18852 (cross-list from cs.PL) [pdf, html, other]
Title: VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
Aidan Z.H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[315] arXiv:2404.18864 (cross-list from cs.DC) [pdf, html, other]
Title: Performance-Aligned LLMs for Generating Fast Code
Daniel Nichols, Pranav Polasam, Harshitha Menon, Aniruddha Marathe, Todd Gamblin, Abhinav Bhatele
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[316] arXiv:2404.18881 (cross-list from cs.HC) [pdf, html, other]
Title: Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Violet Peng, Miryung Kim
Comments: NAACL 2024 Findings
Subjects: Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Software Engineering (cs.SE)
[317] arXiv:2404.19428 (cross-list from quant-ph) [pdf, html, other]
Title: From Quantum Mechanics to Quantum Software Engineering: A Historical Review
Giuseppe Bisicchia, Jose Garcia-Alonso, Juan M. Murillo, Antonio Brogi
Comments: 8 pages
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[318] arXiv:2404.19452 (cross-list from cs.LG) [pdf, other]
Title: How to Sustainably Monitor ML-Enabled Systems? Accuracy and Energy Efficiency Tradeoffs in Concept Drift Detection
Rafiullah Omar, Justus Bogner, Joran Leest, Vincenzo Stoico, Patricia Lago, Henry Muccini
Comments: Accepted for publication at the International Conference on Information and Communications Technology for Sustainability 2024 (ICT4S'24)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[319] arXiv:2404.19591 (cross-list from cs.DB) [pdf, other]
Title: Towards Interactively Improving ML Data Preparation Code via "Shadow Pipelines"
Stefan Grafberger, Paul Groth, Sebastian Schelter
Subjects: Databases (cs.DB); Machine Learning (cs.LG); Software Engineering (cs.SE)
[320] arXiv:2404.19631 (cross-list from cs.LG) [pdf, html, other]
Title: On Training a Neural Network to Explain Binaries
Alexander Interrante-Grant, Andy Davis, Heather Preslier, Tim Leek
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[321] arXiv:2404.19665 (cross-list from physics.med-ph) [pdf, html, other]
Title: ATOMMIC: An Advanced Toolbox for Multitask Medical Imaging Consistency to facilitate Artificial Intelligence applications from acquisition to analysis in Magnetic Resonance Imaging
Dimitrios Karkalousos, Ivana Išgum, Henk A. Marquering, Matthan W.A. Caan
Subjects: Medical Physics (physics.med-ph); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Mathematical Physics (math-ph)
[322] arXiv:2404.19735 (cross-list from cs.AR) [pdf, other]
Title: Selective Parallel Loading of Large-Scale Compressed Graphs with ParaGrapher
Mohsen Koohi Esfahani, Marco D'Antonio, Syed Ibtisam Tauhidi, Thai Son Mai, Hans Vandierendonck
Subjects: Hardware Architecture (cs.AR); Performance (cs.PF); Software Engineering (cs.SE)
Total of 322 entries
Showing up to 2000 entries per page: fewer | more | all