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

Software Engineering

Authors and titles for recent submissions

[ total of 68 entries: 1-46 | 47-68 ]
[ showing 46 entries per page: fewer | more | all ]

Tue, 23 Apr 2024

[1]  arXiv:2404.14370 [pdf, other]
Title: Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
Authors: Gábor Antal, Richárd Vozár, Rudolf Ferenc
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[2]  arXiv:2404.14364 [pdf, other]
Title: Toward Research Software Categories
Authors: 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)
[3]  arXiv:2404.14356 [pdf, other]
Title: Rethinking Legal Compliance Automation: Opportunities with Large Language Models
Authors: 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)
[4]  arXiv:2404.14296 [pdf, other]
Title: Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach
Authors: Yao Wan, Guanghua Wan, Shijie Zhang, Hongyu Zhang, Yulei Sui, Pan Zhou, Hai Jin, Lichao Sun
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[5]  arXiv:2404.14273 [pdf, other]
Title: VAMP: Visual Analytics for Microservices Performance
Authors: 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)
[6]  arXiv:2404.14251 [pdf, other]
Title: Microservices a Definition Analyzed by ßMACH
Authors: Marcus Hilbrich, Ninon De Mecquenem
Subjects: Software Engineering (cs.SE)
[7]  arXiv:2404.14097 [pdf, other]
Title: MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Authors: Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld
Subjects: Software Engineering (cs.SE)
[8]  arXiv:2404.14030 [pdf, other]
Title: Towards Using Behavior Trees in Industrial Automation Controllers
Authors: Aleksandr Sidorenko, Mahdi Rezapour, Achim Wagner, Martin Ruskowski
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[9]  arXiv:2404.14029 [pdf, other]
Title: Teaching Scrum with a focus on compliance assessment
Authors: Marco Torchiano, Antonio Vetrò, Riccardo Coppola
Comments: Submitted to LEARNER 2024 workshop
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2404.13951 [pdf, other]
Title: Program Environment Fuzzing
Authors: Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Comments: 13 pages, 5 figures, 5 tables
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2404.13945 [pdf, other]
Title: Benchmarking Multi-Modal LLMs for Testing Visual Deep Learning Systems Through the Lens of Image Mutation
Authors: Liwen Wang, Yuanyuan Yuan, Ao Sun, Zongjie Li, Pingchuan Ma, Daoyuan Wu, Shuai Wang
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2404.13630 [pdf, ps, other]
Title: Utilizing Deep Learning to Optimize Software Development Processes
Authors: Keqin Li, Armando Zhu, Wenjing Zhou, Peng Zhao, Jintong Song, Jiabei Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[13]  arXiv:2404.13464 [pdf, ps, other]
Title: Paths to Testing: Why Women Enter and Remain in Software Testing?
Authors: Kleice Silva, Ann Barcomb, Ronnie de Souza Santos
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[14]  arXiv:2404.13462 [pdf, ps, other]
Title: Exploring Hybrid Work Realities: A Case Study with Software Professionals From Underrepresented Groups
Authors: Ronnie de Souza Santos, Cleyton Magalhes, Robson Santons, Jorge Correia-Neto
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2404.13340 [pdf, other]
Title: Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
Authors: Kefan Li, Yuan Yuan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[16]  arXiv:2404.13295 [pdf, other]
Title: Detecting Build Dependency Errors in Incremental Builds
Authors: Jun Lyu, Shanshan Li, He Zhang, Lanxin Yang, Bohan Liu, Manuel Rigger
Subjects: Software Engineering (cs.SE)
[17]  arXiv:2404.14299 (cross-list from quant-ph) [pdf, other]
Title: A Cross-Platform Execution Engine for the Quantum Intermediate Representation
Authors: 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)
[18]  arXiv:2404.13971 (cross-list from quant-ph) [pdf, other]
Title: HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers
Authors: 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)
[19]  arXiv:2404.13672 (cross-list from cs.LO) [pdf, ps, other]
Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Authors: 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)

Mon, 22 Apr 2024

[20]  arXiv:2404.12941 [pdf, other]
Title: Towards behavioral consistency in heterogeneous modeling scenarios
Authors: Tim Kräuter
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2404.12932 [pdf, other]
Title: The Visual Debugger Tool
Authors: Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2404.12892 [pdf, other]
Title: A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
Authors: Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[23]  arXiv:2404.12833 [pdf, other]
Title: How Far Can We Go with Practical Function-Level Program Repair?
Authors: Jiahong Xiang, Xiaoyang Xu, Fanchu Kong, Mingyuan Wu, Haotian Zhang, Yuqun Zhang
Comments: this https URL
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2404.12772 [pdf, other]
Title: Generating Test Scenarios from NL Requirements using Retrieval-Augmented LLMs: An Industrial Study
Authors: Chetan Arora, Tomas Herda, Verena Homm
Subjects: Software Engineering (cs.SE)
[25]  arXiv:2404.12737 [pdf, other]
Title: LLM App Store Analysis: A Vision and Roadmap
Authors: Yanjie Zhao, Xinyi Hou, Shenao Wang, Haoyu Wang
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2404.12736 [pdf, other]
Title: Large Language Model Supply Chain: A Research Agenda
Authors: Shenao Wang, Yanjie Zhao, Xinyi Hou, Haoyu Wang
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2404.12636 [pdf, other]
Title: Multi-Objective Fine-Tuning for Enhanced Program Repair with LLMs
Authors: Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin
Subjects: Software Engineering (cs.SE)
[28]  arXiv:2404.12621 [pdf, other]
Title: Research on WebAssembly Runtimes: A Survey
Authors: Yixuan Zhang, Mugeng Liu, Haoyu Wang, Yun Ma, Gang Huang, Xuanzhe Liu
Subjects: Software Engineering (cs.SE)
[29]  arXiv:2404.12576 [pdf, other]
Title: Requirements Satisfiability with In-Context Learning
Authors: Sarah Santos, Travis Breaux, Thomas Norton, Sara Haghighi, Sepideh Ghanavati
Journal-ref: IEEE International Requirements Engineering Conference, 2024
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2404.12893 (cross-list from cs.CR) [pdf, other]
Title: The Power of Words: Generating PowerShell Attacks from Natural Language
Authors: 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)
[31]  arXiv:2404.12837 (cross-list from cs.CR) [pdf, other]
Title: Towards a decentralized data privacy protocol for self-sovereignty in the digital world
Authors: Rodrigo Falcão, Arghavan Hosseinzadeh
Comments: To appear in the proceedings of RCIS 2024
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[32]  arXiv:2404.12747 (cross-list from cs.PL) [pdf, other]
Title: Customizing Static Analysis using Codesearch
Authors: 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)

Fri, 19 Apr 2024

[33]  arXiv:2404.12335 [pdf, other]
Title: Normative Requirements Operationalization with Large Language Models
Authors: 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)
[34]  arXiv:2404.12226 [pdf, other]
Title: A cooperative strategy for diagnosing the root causes of quality requirement violations in multiagent systems
Authors: João Faccin, Ingrid Nunes, Abdelwahab Hamou-Lhadj
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2404.12035 [pdf, ps, other]
Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Authors: 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)
[36]  arXiv:2404.12000 [pdf, other]
Title: How far are AI-powered programming assistants from meeting developers' needs?
Authors: Xin Tan, Xiao Long, Xianjun Ni, Yinghao Zhu, Jing Jiang, Li Zhang
Subjects: Software Engineering (cs.SE)
[37]  arXiv:2404.11763 [pdf, other]
Title: The Code the World Depends On: A First Look at Technology Makers' Open Source Software Dependencies
Authors: Cadence Patrick, Kimberly Ruth, Zakir Durumeric
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[38]  arXiv:2404.11671 [pdf, other]
Title: A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Authors: Ian McCormack, Joshua Sunshine, Jonathan Aldrich
Comments: 26 pages without appendix supplement, preprint
Subjects: Software Engineering (cs.SE)

Thu, 18 Apr 2024 (showing first 8 of 16 entries)

[39]  arXiv:2404.11595 [pdf, other]
Title: A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Authors: Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Nguyen, Omer Tripp
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2404.11542 [pdf, other]
Title: A Lean Simulation Framework for Stress Testing IoT Cloud Systems
Authors: Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
Comments: arXiv admin note: text overlap with arXiv:2208.06954
Subjects: Software Engineering (cs.SE)
[41]  arXiv:2404.11498 [pdf, other]
Title: Runtime Verification and Field Testing for ROS-Based Robotic Systems
Authors: Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Rodrigues, Thorsten Berger
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[42]  arXiv:2404.11467 [pdf, other]
Title: A Large-scale Fine-grained Analysis of Packages in Open-Source Software Ecosystems
Authors: 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)
[43]  arXiv:2404.11411 [pdf, other]
Title: EcoMLS: A Self-Adaptation Approach for Architecting Green ML-Enabled Systems
Authors: Meghana Tedla, Shubham Kulkarni, Karthik Vaidhyanathan
Subjects: Software Engineering (cs.SE)
[44]  arXiv:2404.11376 [pdf, other]
Title: From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
Authors: Aaron Conrardy, Jordi Cabot
Subjects: Software Engineering (cs.SE)
[45]  arXiv:2404.11294 [pdf, other]
Title: LogSD: Detecting Anomalies from System Logs through Self-supervised Learning and Frequency-based Masking
Authors: Yongzheng Xie, Hongyu Zhang, Muhammad Ali Babar
Comments: 23 pages with 11 figures
Subjects: Software Engineering (cs.SE)
[46]  arXiv:2404.11223 [pdf, other]
Title: AndroLog: Android Instrumentation and Code Coverage Analysis
Authors: Jordan Samhi, Andreas Zeller
Subjects: Software Engineering (cs.SE)
[ total of 68 entries: 1-46 | 47-68 ]
[ showing 46 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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