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

Software Engineering

Authors and titles for recent submissions

[ total of 91 entries: 1-66 | 67-91 ]
[ showing 66 entries per page: fewer | more | all ]

Tue, 7 May 2024

[1]  arXiv:2405.03619 [pdf, ps, other]
Title: The trade-offs between Monolithic vs. Distributed Architectures
Authors: Matheus Felisberto
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2405.03616 [pdf, other]
Title: A Controlled Experiment on the Energy Efficiency of the Source Code Generated by Code Llama
Authors: Vlad-Andrei Cursaru, Laura Duits, Joel Milligan, Damla Ural, Berta Rodriguez Sanchez, Vincenzo Stoico, Ivano Malavolta
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[3]  arXiv:2405.03509 [pdf, other]
Title: Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
Authors: Yubo Mai, Zhipeng Gao, Xing Hu, Lingfeng Bao, Yu Liu, Jianling Sun
Subjects: Software Engineering (cs.SE)
[4]  arXiv:2405.03489 [pdf, other]
Title: On the Influence of Data Resampling for Deep Learning-Based Log Anomaly Detection: Insights and Recommendations
Authors: Xiaoxue Ma, Huiqi Zou, Jacky Keung, Pinjia He, Yishu Li, Xiao Yu, Federica Sarro
Comments: 15 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[5]  arXiv:2405.03326 [pdf, other]
Title: PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous Vehicles
Authors: Victor Crespo-Rodriguez, Neelofar, Aldeida Aleti
Comments: Pre-print from AST 2024 conference
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2405.03256 [pdf, other]
Title: MARE: Multi-Agents Collaboration Framework for Requirements Engineering
Authors: Dongming Jin, Zhi Jin, Xiaohong Chen, Chunhui Wang
Subjects: Software Engineering (cs.SE)
[7]  arXiv:2405.03223 [pdf, other]
Title: The Kansei Engineering Approach in Web Design:Case of Transportation Website
Authors: Alisher Akram, Aray Kozhamuratova, Pakizar Shamoi
Comments: submitted to Springer journal for consideration
Subjects: Software Engineering (cs.SE)
[8]  arXiv:2405.03067 [pdf, other]
Title: Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Authors: Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang
Comments: 12 pages, 6 figures
Journal-ref: In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Subjects: Software Engineering (cs.SE)
[9]  arXiv:2405.03058 [pdf, other]
Title: Enhancing High-Level Synthesis with Automated Pragma Insertion and Code Transformation Framework
Authors: Stèphane Pouget, Louis-Noël Pouchet, Jason Cong
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2405.02922 [pdf, other]
Title: Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
Authors: Zhipeng Gao, Zhipeng Xue, Xing Hu, Weiyi Shang, Xin Xia
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2405.02867 [pdf, other]
Title: Practices, Challenges, and Opportunities When Inferring Requirements From Regulations in the FinTech Sector - An Industrial Study
Authors: Parisa Elahidoost, Daniel Mendez, Michael Unterkalmsteiner, Jannik Fischbach, Christian Feiler, Jonathan Streit
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2405.02828 [pdf, other]
Title: Trojans in Large Language Models of Code: A Critical Review through a Trigger-Based Taxonomy
Authors: Aftab Hussain, Md Rafiqul Islam Rabin, Toufique Ahmed, Bowen Xu, Premkumar Devanbu, Mohammad Amin Alipour
Comments: arXiv admin note: substantial text overlap with arXiv:2305.03803
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[13]  arXiv:2405.02734 [pdf, ps, other]
Title: A Diagramming Technique for Teaching Students to Read Software Engineering Research Papers: an experience report
Authors: Mary Shaw
Comments: 6 pages, 6 figures, working paper
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2405.02580 [pdf, other]
Title: PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
Authors: Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[15]  arXiv:2405.02490 [pdf, ps, other]
Title: Software Fairness Debt
Authors: Ronnie de Souza Santos, Felipe Fronchetti, Savio Freire, Rodrigo Spinola
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2405.02355 [pdf, other]
Title: CodeGRAG: Extracting Composed Syntax Graphs for Retrieval Augmented Cross-Lingual Code Generation
Authors: Kounianhua Du, Renting Rui, Huacan Chai, Lingyue Fu, Wei Xia, Yasheng Wang, Ruiming Tang, Yong Yu, Weinan Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[17]  arXiv:2405.02630 (cross-list from quant-ph) [pdf, other]
Title: cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK
Authors: Kuan-Cheng Chen, Tai-Yue Li, Yun-Yuan Wang, Simon See, Chun-Chieh Wang, Robert Willie, Nan-Yow Chen, An-Cheng Yang, Chun-Yu Lin
Comments: 10 pages, 14 figures
Subjects: Quantum Physics (quant-ph); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[18]  arXiv:2405.02435 (cross-list from cs.CR) [pdf, other]
Title: Bridging the Gap: A Study of AI-based Vulnerability Management between Industry and Academia
Authors: Shengye Wan, Joshua Saxe, Craig Gomes, Sahana Chennabasappa, Avilash Rath, Kun Sun, Xinda Wang
Comments: Accepted by IEEE/IFIP International Conference on Dependable Systems and Networks, Industry Track, 2024
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

Mon, 6 May 2024

[19]  arXiv:2405.02213 [pdf, other]
Title: Automatic Programming: Large Language Models and Beyond
Authors: Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[20]  arXiv:2405.02095 [pdf, ps, other]
Title: Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures
Authors: Jorge Martinez-Gil
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[21]  arXiv:2405.01874 [pdf, other]
Title: Automated Control Logic Test Case Generation using Large Language Models
Authors: Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K R
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2405.01803 [pdf, other]
Title: How to Gain Commit Rights in Modern Top Open Source Communities?
Authors: Xin Tan, Yan Gong, Geyu Huang, Haohua Wu, Li Zhang
Comments: 23 pages,5 figures,FSE 2024
Journal-ref: Proceedings of the ACM on Software Engineering (PACMSE) Issue FSE 2024
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2405.01757 [pdf, other]
Title: Towards A Double-Edged Sword: Modelling the Impact in Agile Software Development
Authors: Michael Neumann, Philipp Diebold
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2405.01695 [pdf, other]
Title: Requirements-driven Slicing of Simulink Models Using LLMs
Authors: Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh
Comments: This paper will appear at the 11th International Workshop on Artificial Intelligence and Requirements Engineering (AIRE'24)
Subjects: Software Engineering (cs.SE)
[25]  arXiv:2405.01612 [pdf, ps, other]
Title: Effective Delegation and Leadership in Software Management
Authors: Star Dawood Mirkhan, Skala Kamaran Omer, Hussein Mohammed Ali, Mahmood Yashar Hamza, Tarik Ahmed Rashid, Poornima Nedunchezhian
Comments: 9 pages
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2405.01608 [pdf, ps, other]
Title: A Comprehensive Study on Automated Testing with the Software Lifecycle
Authors: Hussein Mohammed Ali, Mahmood Yashar Hamza, Tarik Ahmed Rashid
Comments: 9
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2405.01580 [pdf, other]
Title: On the Limitations of Embedding Based Methods for Measuring Functional Correctness for Code Generation
Authors: Atharva Naik
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[28]  arXiv:2405.01579 [pdf, other]
Title: Mining patterns in syntax trees to automate code reviews of student solutions for programming exercises
Authors: Charlotte Van Petegem, Kasper Demeyere, Rien Maertens, Niko Strijbol, Bram De Wever, Bart Mesuere, Peter Dawyndt
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Machine Learning (cs.LG)
[29]  arXiv:2405.01578 [pdf, other]
Title: Empowering IoT Applications with Flexible, Energy-Efficient Remote Management of Low-Power Edge Devices
Authors: Shadi Attarha, Anna Förster
Comments: 4 pages, Proceedings of the 2023 International Conference on Embedded Wireless Systems and Networks
Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)
[30]  arXiv:2405.01575 [pdf, other]
Title: Software Mention Recognition with a Three-Stage Framework Based on BERTology Models at SOMD 2024
Authors: Thuy Nguyen Thi, Anh Nguyen Viet, Thin Dang Van, Ngan Nguyen Luu Thuy
Comments: Software mention recognition, Named entity recognition, Transformer, Three-stage framework
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[31]  arXiv:2405.01574 [pdf, ps, other]
Title: On Using Agent-based Modeling and Simulation for Studying Blockchain Systems
Authors: Önder Gürcan
Comments: 2 pages, "JFMS 2020 -- Les Journees Francophones de la Modelisation et de la Simulation -- Convergences entre la Theorie de la Modelisation et la Simulation et les Systemes Multi-Agents"
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[32]  arXiv:2405.01573 [pdf, other]
Title: Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository
Authors: Ajinkya Deshpande, Anmol Agarwal, Shashank Shet, Arun Iyer, Aditya Kanade, Ramakrishna Bairi, Suresh Parthasarathy
Comments: Preprint
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[33]  arXiv:2405.01572 [pdf, other]
Title: A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
Authors: Aman Kumar, Sebastian Simon
Comments: Published in DVCon U.S. 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR)
[34]  arXiv:2405.01569 [pdf, other]
Title: A Systematic Literature Review on Reasons and Approaches for Accurate Effort Estimations in Agile
Authors: Jirat Pasuksmit, Patanamon Thongtanunam, Shanika Karunasekera
Comments: Journal article
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2405.01568 [pdf, ps, other]
Title: Convert any android device into a programmable IoT device with the help of IoT Everywhere Framework
Authors: Vishnu Joshi
Comments: 4 pages, 10 figures
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2405.01567 [pdf, other]
Title: CodeFort: Robust Training for Code Generation Models
Authors: Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[37]  arXiv:2405.01566 [pdf, other]
Title: 2HCDL: Holistic Human-Centered Development Lifecycle
Authors: Said Daoudagh (1), Eda Marchetti (1), Oum-El-Kheir Aktouf (2) ((1) CNR-ISTI, Pisa, Italy, (2) Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France)
Comments: S. Bernardi, T. Zoppi (Editors), "Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference, Leuven, Belgium, 8-11 April 2024"
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2405.01565 [pdf, other]
Title: The Role of Code Proficiency in the Era of Generative AI
Authors: Gregorio Robles, Christoph Treude, Jesus M. Gonzalez-Barahona, Raula Gaikovina Kula
Comments: submitted to Software Engineering 2030
Subjects: Software Engineering (cs.SE)
[39]  arXiv:2405.01564 [pdf, other]
Title: Prioritizing Software Requirements Using Large Language Models
Authors: Malik Abdul Sami, Zeeshan Rasheed, Muhammad Waseem, Zheying Zhang, Tomas Herda, Pekka Abrahamsson
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2405.01561 [pdf, ps, other]
Title: Rapid Mobile App Development for Generative AI Agents on MIT App Inventor
Authors: Jaida Gao, Calab Su, Etai Miller, Kevin Lu, Yu Meng
Journal-ref: Journal of advances in information science and technology 2(3) 1-8, March 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[41]  arXiv:2405.01560 [pdf, ps, other]
Title: Copyright related risks in the creation and use of ML/AI systems
Authors: Daniel M. German
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[42]  arXiv:2405.01559 [pdf, other]
Title: Untangling Knots: Leveraging LLM for Error Resolution in Computational Notebooks
Authors: Konstantin Grotov, Sergey Titov, Yaroslav Zharov, Timofey Bryksin
Comments: accepted at 1st ACM CHI Workshop on Human-Notebook Interactions
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[43]  arXiv:2405.01556 [pdf, other]
Title: Semantically Aligned Question and Code Generation for Automated Insight Generation
Authors: Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[44]  arXiv:2405.01553 [pdf, ps, other]
Title: Empirical Studies of Parameter Efficient Methods for Large Language Models of Code and Knowledge Transfer to R
Authors: Amirreza Esmaeili, Iman Saberi, Fatemeh H. Fard
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[45]  arXiv:2405.01549 [pdf, ps, other]
Title: Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence
Authors: Sabah Al-Fedaghi
Comments: 11 pages, 27 Figures
Subjects: Software Engineering (cs.SE)
[46]  arXiv:2405.01546 [pdf, ps, other]
Title: It Will Never Work in Theory
Authors: Greg Wilson, Jorge Aranda, Michael Hoye, Brittany Johnson
Comments: 4 pages, 2 tables, to appear in "IEEE Software"
Subjects: Software Engineering (cs.SE)
[47]  arXiv:2405.01545 [pdf, ps, other]
Title: Analysing software failure using runtime verification and LTL
Authors: Zahra Yazdanparast
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2405.01544 [pdf, ps, other]
Title: Transformational Outsourcing in IT Project Management
Authors: Mohammad Ikbal Hossain, Tanzina Sultana, Waheda Zabeen, Alexander Fosu Sarpong
Comments: 17 pages, 4 Figures
Subjects: Software Engineering (cs.SE)
[49]  arXiv:2405.01543 [pdf, other]
Title: Transforming Software Development with Generative AI: Empirical Insights on Collaboration and Workflow
Authors: Rasmus Ulfsnes, Nils Brede Moe, Viktoria Stray, Marianne Skarpen
Comments: To be published in Generative AI for Effective Software Development - this https URL
Subjects: Software Engineering (cs.SE)
[50]  arXiv:2405.01787 (cross-list from cs.PL) [pdf, other]
Title: Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Authors: Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[51]  arXiv:2405.01668 (cross-list from cs.CR) [pdf, other]
Title: WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs
Authors: Hongbo Chen, Yifan Zhang, Xing Han, Huanyao Rong, Yuheng Zhang, Tianhao Mao, Hang Zhang, XiaoFeng Wang, Luyi Xing, Xun Chen
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

Fri, 3 May 2024

[52]  arXiv:2405.01477 [pdf, other]
Title: "Sometimes You Just Gotta Risk It for the Biscuit": A Portrait of Student Risk-Taking
Authors: Juho Leinonen, Paul Denny
Comments: 7 pages, 1 figure, 4 tables
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[53]  arXiv:2405.01466 [pdf, other]
Title: A Systematic Literature Review on Large Language Models for Automated Program Repair
Authors: Quanjun Zhang, Chunrong Fang, Yang Xie, YuXiang Ma, Weisong Sun, Yun Yang Zhenyu Chen
Subjects: Software Engineering (cs.SE)
[54]  arXiv:2405.01391 [pdf, other]
Title: The Sustainability Assessment Framework Toolkit: A Decade of Modeling Experience
Authors: Patricia Lago, Nelly Condori Fernandez, Iffat Fatima, Markus Funke, Ivano Malavolta
Subjects: Software Engineering (cs.SE)
[55]  arXiv:2405.01369 [pdf, ps, other]
Title: Possible Value Analysis based on Symbolic Lattice
Authors: Qi Zhan
Subjects: Software Engineering (cs.SE)
[56]  arXiv:2405.01309 [pdf, other]
Title: Execution-free Program Repair
Authors: Li Huang, Bertrand Meyer, Manuel Oriol
Subjects: Software Engineering (cs.SE)
[57]  arXiv:2405.01202 [pdf, other]
Title: DLAP: A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection
Authors: Yanjing Yang, Xin Zhou, Runfeng Mao, Jinwei Xu, Lanxin Yang, Yu Zhangm, Haifeng Shen, He Zhang
Comments: 15 pages, 8 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[58]  arXiv:2405.01176 [pdf, ps, other]
Title: SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
Authors: Finn Klessascheck, Ingo Weber, Luise Pufahl
Subjects: Software Engineering (cs.SE)
[59]  arXiv:2405.01145 [pdf, other]
Title: Localized RETE for Incremental Graph Queries
Authors: Matthias Barkowsky, Holger Giese
Subjects: Software Engineering (cs.SE)
[60]  arXiv:2405.01103 [pdf, other]
Title: LLM Security Guard for Code
Authors: Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Sajjad Kazemi, Ehsan Firouzi, Mohammad Ghafari
Comments: SECUTE, EASE 2024
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[61]  arXiv:2405.01064 [pdf, ps, other]
Title: A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
Authors: Christian Birchler, Sajad Khatiri, Pooja Rani, Timo Kehrer, Sebastiano Panichella
Subjects: Software Engineering (cs.SE)
[62]  arXiv:2405.01051 [pdf, ps, other]
Title: Generating User Experience Based on Personas with AI Assistants
Authors: Yutan Huang
Comments: 3 Pages, Accepted at the ICSE2024 Doctoral Symposium
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[63]  arXiv:2405.00874 [pdf, ps, other]
Title: Artificial intelligence for context-aware visual change detection in software test automation
Authors: Milad Moradi, Ke Yan, David Colwell, Rhona Asgari
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[64]  arXiv:2405.00796 [pdf, other]
Title: Does Using Bazel Help Speed Up Continuous Integration Builds?
Authors: Shenyu Zheng, Bram Adams, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE)
[65]  arXiv:2405.01097 (cross-list from cs.CY) [pdf, other]
Title: Silencing the Risk, Not the Whistle: A Semi-automated Text Sanitization Tool for Mitigating the Risk of Whistleblower Re-Identification
Authors: Dimitri Staufer, Frank Pallas, Bettina Berendt
Comments: Accepted for publication at the ACM Conference on Fairness, Accountability, and Transparency 2024 (ACM FAccT'24). This is a preprint manuscript (authors' own version before final copy-editing)
Subjects: Computers and Society (cs.CY); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Information Retrieval (cs.IR); Software Engineering (cs.SE)
[66]  arXiv:2405.01030 (cross-list from cs.CR) [pdf, ps, other]
Title: Towards Trust Proof for Secure Confidential Virtual Machines
Authors: Jingkai Mao, Haoran Zhu, Junchao Fan, Lin Li, Xiaolin Chang
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 91 entries: 1-66 | 67-91 ]
[ showing 66 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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