We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for recent submissions

[ total of 76 entries: 1-76 ]
[ showing up to 250 entries per page: fewer | more ]

Wed, 29 May 2024

[1]  arXiv:2405.18216 [pdf, other]
Title: A Survey on Modern Code Review: Progresses, Challenges and Opportunities
Comments: 62 pages
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2405.18062 [pdf, ps, other]
Title: Towards Integrating Emerging AI Applications in SE Education
Comments: Accepted for publication at the 36th Conference on Software Engineering Education and Training (CSEE&T)
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2405.17939 [pdf, other]
Title: An empirical study of bloated dependencies in CommonJS packages
Comments: Manuscript submitted to Empirical Software Engineering (EMSE)
Subjects: Software Engineering (cs.SE)
[4]  arXiv:2405.17514 [pdf, other]
Title: AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[5]  arXiv:2405.17503 [pdf, other]
Title: Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)
[6]  arXiv:2405.17492 [pdf, other]
Title: StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[7]  arXiv:2405.18174 (cross-list from cs.CR) [pdf, other]
Title: Crash Report Accumulation During Continuous Fuzzing
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[8]  arXiv:2405.17451 (cross-list from cs.LG) [pdf, other]
Title: Green AI in Action: Strategic Model Selection for Ensembles in Production
Comments: 9 pages. Accepted at the 1st ACM International Conference on AI-powered Software (AIware), 2024
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Software Engineering (cs.SE)

Tue, 28 May 2024

[9]  arXiv:2405.17019 [pdf, other]
Title: Bounding Random Test Set Size with Computational Learning Theory
Comments: Preprint, accepted to FSE 2024
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2405.16981 [pdf, other]
Title: Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2405.16914 [pdf, other]
Title: Rigorous Simulation-based Testing for Autonomous Driving Systems -- Targeting the Achilles' Heel of Four Open Autopilots
Comments: 57 pages, 19 figures, 29 tables
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2405.16880 [pdf, other]
Title: Systematic Literature Review of Commercial Participation in Open Source Software
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2405.16746 [pdf, other]
Title: Ecosystem of Large Language Models for Code
Comments: Working in progress
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2405.16272 [pdf, other]
Title: When simplicity meets effectiveness: Detecting code comments coherence with word embeddings and LSTM
Comments: The paper has been peer-reviewed and accepted to the 28th International Conference on Evaluation and Assessment in Software Engineering (EASE 2024)
Journal-ref: EASE 2024
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2405.16133 [pdf, other]
Title: Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting
Comments: Previously submitted to EMNLP2023
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[16]  arXiv:2405.16081 [pdf, other]
Title: A Study on Developer Behaviors for Validating and Repairing LLM-Generated Code Using Eye Tracking and IDE Actions
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[17]  arXiv:2405.16063 [pdf, other]
Title: Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks
Comments: 10 pages
Subjects: Software Engineering (cs.SE)
[18]  arXiv:2405.15866 [pdf, other]
Title: Governing the Commons: Code Ownership and Code-Clones in Large-Scale Software Development
Comments: 29 pages, 13 figures
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2405.15842 [pdf, other]
Title: Model Cascading for Code: Reducing Inference Costs with Model Cascading for LLM Based Code Generation
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[20]  arXiv:2405.15802 [pdf, ps, other]
Title: Towards a Framework for Openness in Foundation Models: Proceedings from the Columbia Convening on Openness in Artificial Intelligence
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[21]  arXiv:2405.15793 [pdf, other]
Title: SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering
Comments: First two authors contributed equally. Code and demo at this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[22]  arXiv:2405.17363 (cross-list from cs.AR) [pdf, other]
Title: Optimized thread-block arrangement in a GPU implementation of a linear solver for atmospheric chemistry mechanisms
Comments: Accepted manuscript
Journal-ref: Computer Physics Communications 302 (1 September 2024): 109240
Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Software Engineering (cs.SE)
[23]  arXiv:2405.17238 (cross-list from cs.CR) [pdf, other]
Title: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)
[24]  arXiv:2405.17065 (cross-list from quant-ph) [pdf, other]
Title: Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL); Software Engineering (cs.SE)
[25]  arXiv:2405.16956 (cross-list from cs.LG) [pdf, other]
Title: Functional Programming Paradigm of Python for Scientific Computation Pipeline Integration
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Programming Languages (cs.PL); Software Engineering (cs.SE)
[26]  arXiv:2405.16655 (cross-list from cs.CR) [pdf, ps, other]
Title: Predicting Likely-Vulnerable Code Changes: Machine Learning-based Vulnerability Protections for Android Open Source Project
Authors: Keun Soo Yim
Comments: This is a preprint of an article that has been submitted to a journal for publication
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG); Software Engineering (cs.SE)

Mon, 27 May 2024

[27]  arXiv:2405.15752 [pdf, ps, other]
Title: Analysis of Marketed versus Not-marketed Mobile App Releases
Comments: Authors version
Subjects: Software Engineering (cs.SE)
[28]  arXiv:2405.15737 [pdf, ps, other]
Title: More Insight from Being More Focused: Analysis of Clustered Market Apps
Comments: Authors pre-print
Subjects: Software Engineering (cs.SE)
[29]  arXiv:2405.15729 [pdf, other]
Title: Optimizing Large Language Models for OpenAPI Code Completion
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[30]  arXiv:2405.15690 [pdf, other]
Title: A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
Comments: Code, data and artifacts are available: this http URL
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2405.15665 [pdf, ps, other]
Title: Examining Ownership Models in Software Teams: A Systematic Literature Review and a Replication Study
Comments: Pre-print an accepted paper for the ESE journal
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2405.15637 [pdf, ps, other]
Title: Clearing the Path for Software Sustainability
Subjects: Software Engineering (cs.SE)
[33]  arXiv:2405.15630 [pdf, other]
Title: GPTZoo: A Large-scale Dataset of GPTs for the Research Community
Subjects: Software Engineering (cs.SE)
[34]  arXiv:2405.15516 [pdf, other]
Title: Source Code Archiving to the Rescue of Reproducible Deployment
Authors: Ludovic Courtès, Timothy Sample, Simon Tournier (UPCité), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)
Comments: 2024 ACM Conference on Reproducibility and Replicability, Jun 2024, Rennes, France
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2405.15450 [pdf, other]
Title: Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
Subjects: Software Engineering (cs.SE); Quantum Physics (quant-ph)
[36]  arXiv:2405.15189 [pdf, other]
Title: SOAP: Enhancing Efficiency of Generated Code via Self-Optimization
Comments: 31 pages, 18 figures, and 8 tables
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[37]  arXiv:2405.15130 [pdf, other]
Title: OptLLM: Optimal Assignment of Queries to Large Language Models
Comments: This paper is accepted by ICWS 2024
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[38]  arXiv:2405.15066 [pdf, other]
Title: Agile Culture Clash: Unveiling Challenges in Cultivating an Agile Mindset in Organizations
Comments: arXiv admin note: text overlap with arXiv:2212.07218
Subjects: Software Engineering (cs.SE)
[39]  arXiv:2405.15008 [pdf, other]
Title: An Empirical Study on the Characteristics of Database Access Bugs in Java Applications
Comments: Accepted by the ACM Transactions on Software Engineering and Methodology (TOSEM)
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[40]  arXiv:2405.14906 [pdf, other]
Title: AutoCoder: Enhancing Code Large Language Model with \textsc{AIEV-Instruct}
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[41]  arXiv:2405.15722 (cross-list from cs.LG) [pdf, other]
Title: Models That Prove Their Own Correctness
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Software Engineering (cs.SE)
[42]  arXiv:2405.15614 (cross-list from cs.CR) [pdf, ps, other]
Title: Harnessing Large Language Models for Software Vulnerability Detection: A Comprehensive Benchmarking Study
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[43]  arXiv:2405.15165 (cross-list from cs.CL) [pdf, other]
Title: A Solution-based LLM API-using Methodology for Academic Information Seeking
Comments: 22 pages, 13 figures
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

Fri, 24 May 2024

[44]  arXiv:2405.14753 [pdf, other]
Title: A Transformer-Based Approach for Smart Invocation of Automatic Code Completion
Comments: 10 pages, 3 figures; Accepted at FSE AIWARE'24
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[45]  arXiv:2405.14619 [pdf, other]
Title: Generating Exceptional Behavior Tests with Reasoning Augmented Large Language Models
Subjects: Software Engineering (cs.SE)
[46]  arXiv:2405.14393 [pdf, other]
Title: Qualifying and Quantifying the Benefits of Mindfulness Practices for IT Workers
Comments: Accepted at The International Conference on Information and Communications Technology for Sustainability (ICT4S) 2024
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[47]  arXiv:2405.14388 [pdf, other]
Title: Evaluation of the Programming Skills of Large Language Models
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Cryptography and Security (cs.CR)
[48]  arXiv:2405.13932 [pdf, other]
Title: Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
Comments: 10 pages, 2 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[49]  arXiv:2405.13852 [pdf, other]
Title: Predicting long time contributors with knowledge units of programming languages: an empirical study
Subjects: Software Engineering (cs.SE)
[50]  arXiv:2405.13786 [pdf, ps, other]
Title: Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
Comments: 3rd International Workshop on Artificial Intelligence in Software Testing (AIST) - International Conference on Software Testing and Validation (ICST)
Journal-ref: Proc. 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 66-69
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[51]  arXiv:2405.13740 [pdf, other]
Title: Mining Action Rules for Defect Reduction Planning
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[52]  arXiv:2405.13708 [pdf, ps, other]
Title: Requirements are All You Need: The Final Frontier for End-User Software Engineering
Comments: Accepted at International Workshop on Software Engineering 2030 in Porto de Galinhas, Brazil (July 2024)
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[53]  arXiv:2405.13620 [pdf, other]
Title: Building BESSER: an open-source low-code platform
Comments: Accepted in Exploring Modeling Methods for Systems Analysis and Development (EMSAD 2024) conference
Subjects: Software Engineering (cs.SE)
[54]  arXiv:2405.13604 [pdf, other]
Title: Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[55]  arXiv:2405.13565 [pdf, other]
Title: AI-Assisted Assessment of Coding Practices in Modern Code Review
Comments: To appear at the ACM International Conference on AI-Powered Software (AIware '24)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[56]  arXiv:2405.13548 [pdf, other]
Title: ECLIPSE: Semantic Entropy-LCS for Cross-Lingual Industrial Log Parsing
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[57]  arXiv:2405.13185 [pdf, other]
Title: Automated categorization of pre-trained models for software engineering: A case study with a Hugging Face dataset
Comments: Accepted at The International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024 edition
Subjects: Software Engineering (cs.SE)
[58]  arXiv:2405.13101 [pdf, other]
Title: Evaluating AI-generated code for C++, Fortran, Go, Java, Julia, Matlab, Python, R, and Rust
Comments: 9 pages, 3 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[59]  arXiv:2405.13058 [pdf, other]
Title: The AI Community Building the Future? A Quantitative Analysis of Development Activity on Hugging Face Hub
Comments: 27 pages, 5 figures, 9 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[60]  arXiv:2405.13057 [pdf, other]
Title: Can Github issues be solved with Tree Of Thoughts?
Comments: 8 pages, 2 figures, 7 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[61]  arXiv:2405.13930 (cross-list from cond-mat.mtrl-sci) [pdf, other]
Title: AlabOS: A Python-based Reconfigurable Workflow Management Framework for Autonomous Laboratories
Comments: 30 pages, 5 figures
Subjects: Materials Science (cond-mat.mtrl-sci); Robotics (cs.RO); Software Engineering (cs.SE)
[62]  arXiv:2405.13254 (cross-list from cs.LG) [pdf, other]
Title: System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Robotics (cs.RO); Software Engineering (cs.SE)
[63]  arXiv:2405.13156 (cross-list from cs.CR) [pdf, other]
Title: A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture
Comments: Submitted to conference
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

Wed, 22 May 2024

[64]  arXiv:2405.12920 [pdf, ps, other]
Title: Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
Subjects: Software Engineering (cs.SE)
[65]  arXiv:2405.12766 [pdf, other]
Title: Test Oracle Automation in the era of LLMs
Subjects: Software Engineering (cs.SE)
[66]  arXiv:2405.12731 [pdf, other]
Title: From Today's Code to Tomorrow's Symphony: The AI Transformation of Developer's Routine by 2030
Subjects: Software Engineering (cs.SE)
[67]  arXiv:2405.12712 [pdf, other]
Title: From Human-to-Human to Human-to-Bot Conversations in Software Engineering
Comments: Accepted at the 1st ACM International Conference on AI-powered Software (AIware) 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)
[68]  arXiv:2405.12641 [pdf, other]
Title: Fight Fire with Fire: How Much Can We Trust ChatGPT on Source Code-Related Tasks?
Subjects: Software Engineering (cs.SE)
[69]  arXiv:2405.12582 [pdf, other]
Title: Carbon-aware Software Services
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[70]  arXiv:2405.12491 [pdf, other]
Title: Bridging the Gap Between Domain-specific Frameworks and Multiple Hardware Devices
Comments: 15pages, 8 figures
Subjects: Software Engineering (cs.SE)
[71]  arXiv:2405.12450 [pdf, other]
Title: PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
Comments: Accepted to be published in the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering (Forge)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[72]  arXiv:2405.12385 [pdf, ps, other]
Title: SciJava Ops: An Improved Algorithms Framework for Fiji and Beyond
Comments: 33 pages, 11 figures
Subjects: Software Engineering (cs.SE)
[73]  arXiv:2405.12333 [pdf, ps, other]
Title: Efficacy of static analysis tools for software defect detection on open-source projects
Comments: 6 pages, 1 figure, 1 table
Subjects: Software Engineering (cs.SE)
[74]  arXiv:2405.12852 (cross-list from cs.CR) [pdf, ps, other]
Title: Application Layer Cyber Deception without Developer Interaction
Comments: to be published in the 3rd Workshop on Active Defense and Deception (ADnD 2024)
Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[75]  arXiv:2405.12841 (cross-list from cs.PL) [pdf, other]
Title: Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[76]  arXiv:2405.12426 (cross-list from cs.LO) [pdf, other]
Title: Inferring Message Flows From System Communication Traces
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[ total of 76 entries: 1-76 ]
[ showing up to 250 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)