Software Engineering

Authors and titles for July 2024

[201] arXiv:2407.17038 [pdf, html, other]

Title: Cultural influence on RE activities: An extended analysis of state of the art

Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland

Comments: Preprint. Accepted to the 26th International Conference on Mobile Human-Computer Interaction (MOBILEHCI Adjunct '24), September 30-October 3, 2024, Melbourne, Australia. ACM Digital Library. Final version to be published by ACM Digital Library (In Press)

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[202] arXiv:2407.17053 [pdf, html, other]

Title: Automated Code-centric Software Vulnerability Assessment: How Far Are We? An Empirical Study in C/C++

Anh The Nguyen, Triet Huynh Minh Le, M. Ali Babar

Comments: Accepted as a full paper in the technical track at The International Symposium on Empirical Software Engineering and Measurement (ESEM) 2024

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[203] arXiv:2407.17065 [pdf, html, other]

Title: PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software

Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen

Comments: to appear at ISSTA 2024

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[204] arXiv:2407.17215 [pdf, other]

Title: Formalizing UML State Machines for Automated Verification -- A Survey

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong

Comments: This is the author version of the manuscript of the same name published in ACM Computing Surveys

Journal-ref: ACM Computing Surveys, Volume 55, Issue 13s, Article No.: 277, Pages 1-47, 2023

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[205] arXiv:2407.17240 [pdf, other]

Title: Ranking Plausible Patches by Historic Feature Frequencies

Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia

Subjects: Software Engineering (cs.SE)

[206] arXiv:2407.17273 [pdf, html, other]

Title: Component Matching as a Graph Matching Problem

Suresh Kamath

Comments: 7 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:2406.05483

Subjects: Software Engineering (cs.SE)

[207] arXiv:2407.17426 [pdf, html, other]

Title: Integrating Sustainability Concerns into Agile Software Development Process

Shola Oyedeji, Ruzanna Chitchyan, Mikhail Ola Adisa, Hatef Shamshiri

Comments: 9 pages, FSE 2024 Workshop on Software Engineering 2030

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)

[208] arXiv:2407.17440 [pdf, html, other]

Title: Generative AI in Evidence-Based Software Engineering: A White Paper

Matteo Esposito, Andrea Janes, Davide Taibi, Valentina Lenarduzzi

Subjects: Software Engineering (cs.SE)

[209] arXiv:2407.17544 [pdf, html, other]

Title: MathViz-E: A Case-study in Domain-Specialized Tool-Using Agents

Arya Bulusu, Brandon Man, Ashish Jagmohan, Aditya Vempaty, Jennifer Mari-Wyka, Deepak Akkil

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[210] arXiv:2407.17545 [pdf, html, other]

Title: Large Language Models for Anomaly Detection in Computational Workflows: from Supervised Fine-Tuning to In-Context Learning

Hongwei Jin, George Papadimitriou, Krishnan Raghavan, Pawel Zuk, Prasanna Balaprakash, Cong Wang, Anirban Mandal, Ewa Deelman

Comments: 12 pages, 14 figures, paper is accepted by SC'24, source code, see: this https URL

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[211] arXiv:2407.17631 [pdf, html, other]

Title: BLAZE: Cross-Language and Cross-Project Bug Localization via Dynamic Chunking and Hard Example Learning

Partha Chakraborty, Mahmoud Alfadel, Meiyappan Nagappan

Journal-ref: IEEE Transactions on Software Engineering, 2025

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[212] arXiv:2407.17743 [pdf, html, other]

Title: A Proposal for a Debugging Learning Support Environment for Undergraduate Students Majoring in Computer Science

Aoi Kanaya, Takuma Migo, Hiroaki Hashiura

Subjects: Software Engineering (cs.SE)

[213] arXiv:2407.17803 [pdf, html, other]

Title: Automatic Data Labeling for Software Vulnerability Prediction Models: How Far Are We?

Triet H. M. Le, M. Ali Babar

Comments: Accepted as a full paper in the technical track at The International Symposium on Empirical Software Engineering and Measurement (ESEM) 2024

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[214] arXiv:2407.17853 [pdf, html, other]

Title: Compilation of Commit Changes within Java Source Code Repositories

Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden

Comments: To be published in: ICSME 2024 Proceedings

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[215] arXiv:2407.17941 [pdf, html, other]

Title: RDFGraphGen: An RDF Graph Generator based on SHACL Shapes

Milos Jovanovik, Marija Vecovska, Maxime Jakubowski, Katja Hose

Comments: 11 pages, 2 figures

Subjects: Software Engineering (cs.SE); Databases (cs.DB)

[216] arXiv:2407.17990 [pdf, html, other]

Title: Towards Living Software Architecture Diagrams

Filipe F. Correia, Ricardo Ferreira, Paulo G. G Queiroz, Henrique Nunes, Matilde Barra, Duarte Figueiredo

Subjects: Software Engineering (cs.SE)

[217] arXiv:2407.18005 [pdf, other]

Title: An Exploration Study on Developing Blockchain Systems the Practitioners Perspective

Bakheet Aljedaani, Aakash Ahmad, Mahdi Fahmideh, Arif Ali Khan, Jun Shen

Subjects: Software Engineering (cs.SE)

[218] arXiv:2407.18155 [pdf, html, other]

Title: Test2VA: Reusing GUI Test Cases for Voice Assistant Features Development in Mobile Applications

Garrett Weaver, Xue Qin

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[219] arXiv:2407.18169 [pdf, html, other]

Title: In Search of Metrics to Guide Developer-Based Refactoring Recommendations

Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi

Subjects: Software Engineering (cs.SE)

[220] arXiv:2407.18431 [pdf, html, other]

Title: Rusty Linux: Advances in Rust for Linux Kernel Development

Shane K. Panter, Nasir U. Eisty

Comments: This paper has been accepted for publication and presentation at ESEM 2024 Emerging Results, Vision and Reflection Papers Track to be held in Barcelona, Spain on October 24-25, 2024

Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)

[221] arXiv:2407.18502 [pdf, other]

Title: Design Spaces and How Software Designers Use Them: a sampler

Mary Shaw (Carnegie Mellon University), Marian Petre (Open University)

Comments: 8 pp

Journal-ref: In Proceedings of the 1st International Workshop on Designing Software (Designing '24), 2024. Association for Computing Machinery, New York, NY, USA, pp. 1-8

Subjects: Software Engineering (cs.SE)

[222] arXiv:2407.18512 [pdf, html, other]

Title: SPOLRE: Semantic Preserving Object Layout Reconstruction for Image Captioning System Testing

Yi Liu, Guanyu Wang, Xinyi Zheng, Gelei Deng, Kailong Wang, Yang Liu, Haoyu Wang

Subjects: Software Engineering (cs.SE)

[223] arXiv:2407.18521 [pdf, other]

Title: Patched MOA: optimizing inference for diverse software development tasks

Asankhaya Sharma

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[224] arXiv:2407.18584 [pdf, html, other]

Title: Designing Secure AI-based Systems: a Multi-Vocal Literature Review

Simon Schneider, Ananya Saha, Emanuele Mezzi, Katja Tuma, Riccardo Scandariato

Comments: IEEE Secure Development Conference (SecDev)

Subjects: Software Engineering (cs.SE)

[225] arXiv:2407.18756 [pdf, html, other]

Title: Evaluating Human Trajectory Prediction with Metamorphic Testing

Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar

Comments: MET'24: 9th ACM International Workshop on Metamorphic Testing

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[226] arXiv:2407.18779 [pdf, html, other]

Title: Foundation Models for the Digital Twin Creation of Cyber-Physical Systems

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

Journal-ref: Leveraging Applications of Formal Methods, Verification and Validation (Isola 2024)

Subjects: Software Engineering (cs.SE)

[227] arXiv:2407.18877 [pdf, html, other]

Title: Line-level Semantic Structure Learning for Code Vulnerability Detection

Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[228] arXiv:2407.18888 [pdf, html, other]

Title: Semistructured Merge with Language-Specific Syntactic Separators

Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jonatas Clementino

Subjects: Software Engineering (cs.SE)

[229] arXiv:2407.18901 [pdf, other]

Title: AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents

Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian

Comments: ACL'24 Camera Ready

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[230] arXiv:2407.18977 [pdf, other]

Title: Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil

Antonio Pedro Santos Alves, Marcos Kalinowski, Daniel Mendez, Hugo Villamizar, Kelly Azevedo, Tatiana Escovedo, Helio Lopes

Comments: arXiv admin note: substantial text overlap with arXiv:2310.06726

Subjects: Software Engineering (cs.SE)

[231] arXiv:2407.19053 [pdf, other]

Title: A Study of Using Multimodal LLMs for Non-Crash Functional Bug Detection in Android Apps

Bangyan Ju, Jin Yang, Tingting Yu, Tamerlan Abdullayev, Yuanyuan Wu, Dingbang Wang, Yu Zhao

Subjects: Software Engineering (cs.SE)

[232] arXiv:2407.19055 [pdf, html, other]

Title: Effective Large Language Model Debugging with Best-first Tree Search

Jialin Song, Jonathan Raiman, Bryan Catanzaro

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[233] arXiv:2407.19087 [pdf, html, other]

Title: Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems

Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro

Comments: Accepted at NIER track of the Brazilian Symposium on Software Engineering (SBES 2024), 7 Pages

Subjects: Software Engineering (cs.SE)

[234] arXiv:2407.19261 [pdf, html, other]

Title: Evaluating Large Language Models in Detecting Test Smells

Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado

Comments: 7 pages, Accepted at Insightful Ideas and Emerging Results (IIER) Track of the Brazilian Symposium on Software Engineering (SBES 2024)

Subjects: Software Engineering (cs.SE)

[235] arXiv:2407.19292 [pdf, html, other]

Title: Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches

Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley

Comments: 13 pages

Subjects: Software Engineering (cs.SE); Robotics (cs.RO)

[236] arXiv:2407.19318 [pdf, other]

Title: Application State Management (ASM) in the Modern Web and Mobile Applications: A Comprehensive Review

Anujkumarsinh Donvir, Apeksha Jain, Pradeep Kumar Saraswathi

Subjects: Software Engineering (cs.SE)

[237] arXiv:2407.19487 [pdf, html, other]

Title: RLCoder: Reinforcement Learning for Repository-Level Code Completion

Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

Comments: To appear at ICSE 2025

Journal-ref: 47th International Conference on Software Engineering (ICSE 2025)

Subjects: Software Engineering (cs.SE)

[238] arXiv:2407.19711 [pdf, other]

Title: TVDiag: A Task-oriented and View-invariant Failure Diagnosis Framework with Multimodal Data

Shuaiyu Xie, Jian Wang, Hanbin He, Zhihao Wang, Yuqi Zhao, Neng Zhang, Bing Li

Comments: 32 pages

Subjects: Software Engineering (cs.SE)

[239] arXiv:2407.19901 [pdf, html, other]

Title: Carbon-Efficient Software Design and Development: A Systematic Literature Review

Ornela Danushi, Stefano Forti, Jacopo Soldani

Subjects: Software Engineering (cs.SE)

[240] arXiv:2407.20042 [pdf, html, other]

Title: When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention

Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

Comments: To appear at ISSTA 2024

Subjects: Software Engineering (cs.SE)

[241] arXiv:2407.20696 [pdf, other]

Title: Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA

Saurabh Mittal, Bernard P. Zeigler, José L. Risco-Martín

Comments: arXiv admin note: substantial text overlap with arXiv:2407.03686

Journal-ref: The International C2 Journal, 3(1), pp. 1-61, 2009

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[242] arXiv:2407.20898 [pdf, html, other]

Title: ThinkRepair: Self-Directed Automated Program Repair

Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, Xiaohu Yang

Comments: Accepted By ISSTA'24

Subjects: Software Engineering (cs.SE)

[243] arXiv:2407.20900 [pdf, html, other]

Title: Visual Analysis of GitHub Issues to Gain Insights

Rifat Ara Proma, Paul Rosen

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[244] arXiv:2407.20924 [pdf, html, other]

Title: Automatically Removing Unnecessary Stubbings from Test Suites

Mengzhen Li, Mattia Fazzini

Subjects: Software Engineering (cs.SE)

[245] arXiv:2407.21007 [pdf, html, other]

Title: The Dual-Edged Sword of Technical Debt: Benefits and Issues Analyzed Through Developer Discussions

Xiaozhou Li, Matteo Esposito, Andrea Janes, Valentina Lenarduzzi

Subjects: Software Engineering (cs.SE)

[246] arXiv:2407.21069 [pdf, html, other]

Title: High-Dimensional Fault Tolerance Testing of Highly Automated Vehicles Based on Low-Rank Models

Yuewen Mei, Tong Nie, Jian Sun, Ye Tian

Comments: Accepted by ITSC 2024

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)

[247] arXiv:2407.21127 [pdf, other]

Title: Teaching Survey Research in Software Engineering

Marcos Kalinowski, Allysson Allex Araújo, Daniel Mendez

Subjects: Software Engineering (cs.SE)

[248] arXiv:2407.21152 [pdf, html, other]

Title: WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal

Subjects: Software Engineering (cs.SE)

[249] arXiv:2407.21224 [pdf, html, other]

Title: Predicting Software Reliability in Softwarized Networks

Hasan Yagiz Ozkan, Madeleine Kaufmann, Wolfgang Kellerer, Carmen Mas-Machuca

Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)

[250] arXiv:2407.21227 [pdf, html, other]

Title: TaskEval: Assessing Difficulty of Code Generation Tasks for Large Language Models

Florian Tambon, Amin Nikanjam, Cyrine Zid, Foutse Khomh, Giuliano Antoniol

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[251] arXiv:2407.21241 [pdf, html, other]

Title: Bug Analysis Towards Bug Resolution Time Prediction

Hasan Yagiz Ozkan, Poul Einer Heegaard, Wolfgang Kellerer, Carmen Mas-Machuca

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[252] arXiv:2407.21369 [pdf, html, other]

Title: An LLM-based Readability Measurement for Unit Tests' Context-aware Inputs

Zhichao Zhou, Yutian Tang, Yun Lin, Jingzhu He

Subjects: Software Engineering (cs.SE)

[253] arXiv:2407.21429 [pdf, html, other]

Title: Chat-like Asserts Prediction with the Support of Large Language Model

Han Wang, Han Hu, Chunyang Chen, Burak Turhan

Subjects: Software Engineering (cs.SE)

[254] arXiv:2407.21494 [pdf, html, other]

Title: Towards Automated Continuous Security Compliance

Florian Angermeir, Jannik Fischbach, Fabiola Moyón, Daniel Mendez

Subjects: Software Engineering (cs.SE)

[255] arXiv:2407.21579 [pdf, html, other]

Title: A Performance Study of LLM-Generated Code on Leetcode

Tristan Coignion, Clément Quinton, Romain Rouvoy

Journal-ref: Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[256] arXiv:2407.21621 [pdf, html, other]

Title: Interactive Diagrams for Software Documentation

Adam Štěpánek, David Kuťák, Barbora Kozlíková, Jan Byška

Comments: 10+2 pages, 5 figures, submitted to VISSOFT 2024

Subjects: Software Engineering (cs.SE)

[257] arXiv:2407.00031 (cross-list from cs.DC) [pdf, html, other]

Title: Supercharging Federated Learning with Flower and NVIDIA FLARE

Holger R. Roth, Daniel J. Beutel, Yan Cheng, Javier Fernandez Marques, Heng Pan, Chester Chen, Zhihong Zhang, Yuhong Wen, Sean Yang, Isaac (Te-Chung)Yang, Yuan-Ting Hsieh, Ziyue Xu, Daguang Xu, Nicholas D. Lane, Andrew Feng

Comments: Added a figure comparing running a Flower application natively or within FLARE

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[258] arXiv:2407.00064 (cross-list from cs.DB) [pdf, html, other]

Title: Constraint based Modeling according to Reference Design

Erik Heiland, Peter Hillmann, Andreas Karcher

Journal-ref: Conference on Perspectives in Business Informatics Research (BIR 2023)

Subjects: Databases (cs.DB); Information Retrieval (cs.IR); Information Theory (cs.IT); Software Engineering (cs.SE)

[259] arXiv:2407.00246 (cross-list from cs.CR) [pdf, html, other]

Title: SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java

Aman Sharma, Martin Wittlinger, Benoit Baudry, Martin Monperrus

Comments: 17 pages, 3 figures, 5 tables, 8 listings

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[260] arXiv:2407.01595 (cross-list from cs.LG) [pdf, html, other]

Title: Fairpriori: Improving Biased Subgroup Discovery for Deep Neural Network Fairness

Kacy Zhou, Jiawen Wen, Nan Yang, Dong Yuan, Qinghua Lu, Huaming Chen

Comments: 11 pages

Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Software Engineering (cs.SE)

[261] arXiv:2407.01608 (cross-list from cs.LG) [pdf, html, other]

Title: Deriva-ML: A Continuous FAIRness Approach to Reproducible Machine Learning Models

Zhiwei Li, Carl Kesselman, Mike D'Arch, Michael Pazzani, Benjamin Yizing Xu

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Databases (cs.DB); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[262] arXiv:2407.01639 (cross-list from cs.LG) [pdf, html, other]

Title: ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

[263] arXiv:2407.02167 (cross-list from cs.LO) [pdf, html, other]

Title: Reusable Formal Verification of DAG-based Consensus Protocols

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[264] arXiv:2407.02914 (cross-list from cs.LG) [pdf, html, other]

Title: The More the Merrier? Navigating Accuracy vs. Energy Efficiency Design Trade-Offs in Ensemble Learning Systems

Rafiullah Omar, Justus Bogner, Henry Muccini, Patricia Lago, Silverio Martínez-Fernández, Xavier Franch

Comments: Currently under review at a journal

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

[265] arXiv:2407.03157 (cross-list from cs.CL) [pdf, html, other]

Title: Let the Code LLM Edit Itself When You Edit the Code

Zhenyu He, Jun Zhang, Shengjie Luo, Jingjing Xu, Zhi Zhang, Di He

Comments: ICLR 2025 Camera Ready

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)

[266] arXiv:2407.03374 (cross-list from cs.AI) [pdf, other]

Title: An Outline of Prognostics and Health Management Large Model: Concepts, Paradigms, and Challenges

Laifa Tao, Shangyu Li, Haifei Liu, Qixuan Huang, Liang Ma, Guoao Ning, Yiling Chen, Yunlong Wu, Bin Li, Weiwei Zhang, Zhengduo Zhao, Wenchao Zhan, Wenyan Cao, Chao Wang, Hongmei Liu, Jian Ma, Mingliang Suo, Yujie Cheng, Yu Ding, Dengwei Song, Chen Lu

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Signal Processing (eess.SP); Systems and Control (eess.SY)

[267] arXiv:2407.03883 (cross-list from cs.CR) [pdf, html, other]

Title: Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection

Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun

Comments: 12 pages, 5 figures

Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)

[268] arXiv:2407.03949 (cross-list from cs.CR) [pdf, html, other]

Title: Establishing Provenance Before Coding: Traditional and Next-Gen Software Signing

Taylor R. Schorlemmer, Ethan H. Burmane, Kelechi G. Kalu, Santiago Torres-Arias, James C. Davis

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[269] arXiv:2407.04268 (cross-list from cs.LG) [pdf, html, other]

Title: NeuFair: Neural Network Fairness Repair with Dropout

Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan

Comments: Paper accepted at ACM ISSTA 2024

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[270] arXiv:2407.04359 (cross-list from cs.AI) [pdf, html, other]

Title: Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing

Tong Wang, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang, Gang Zhao

Comments: This paper was accepted by 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)

[271] arXiv:2407.04536 (cross-list from cs.CR) [pdf, html, other]

Title: Blockchain-based PKI within a Corporate Organization: Advantages and Challenges

Julian Springer, Philipp Haindl

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[272] arXiv:2407.04831 (cross-list from cs.AI) [pdf, html, other]

Title: Code Hallucination

Mirza Masfiqur Rahman, Ashish Kundu

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[273] arXiv:2407.04868 (cross-list from cs.AI) [pdf, html, other]

Title: Looking into Black Box Code Language Models

Muhammad Umair Haider, Umar Farooq, A.B. Siddique, Mark Marron

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[274] arXiv:2407.05318 (cross-list from cs.CR) [pdf, html, other]

Title: Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities

Yizhou Chen

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[275] arXiv:2407.05700 (cross-list from cs.CL) [pdf, html, other]

Title: InverseCoder: Self-improving Instruction-Tuned Code LLMs with Inverse-Instruct

Yutong Wu, Di Huang, Wenxuan Shi, Wei Wang, Lingzhe Gao, Shihao Liu, Ziyuan Nan, Kaizhao Yuan, Rui Zhang, Xishan Zhang, Zidong Du, Qi Guo, Yewen Pu, Dawei Yin, Xing Hu, Yunji Chen

Comments: Accepted for publication at AAAI 2025. Extended version with full appendix, 18 pages

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[276] arXiv:2407.06146 (cross-list from cs.CL) [pdf, html, other]

Title: Using Grammar Masking to Ensure Syntactic Validity in LLM-based Modeling Tasks

Lukas Netz, Jan Reimer, Bernhard Rumpe

Comments: Preprint to be published in the MODELS Workshop "MDE Intelligence"

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[277] arXiv:2407.06217 (cross-list from eess.SY) [pdf, html, other]

Title: On Simulation of Power Systems and Microgrid Components with SystemC-AMS

Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan Lukic, Gabor Karsai

Subjects: Systems and Control (eess.SY); Software Engineering (cs.SE)

[278] arXiv:2407.06249 (cross-list from cs.CL) [pdf, other]

Title: CodeUpdateArena: Benchmarking Knowledge Editing on API Updates

Zeyu Leo Liu, Shrey Pandit, Xi Ye, Eunsol Choi, Greg Durrett

Comments: Under Review

Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

[279] arXiv:2407.06356 (cross-list from cs.PL) [pdf, html, other]

Title: Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Mark Marron

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[280] arXiv:2407.06753 (cross-list from cs.CR) [pdf, html, other]

Title: A Comparison of Vulnerability Feature Extraction Methods from Textual Attack Patterns

Refat Othman, Bruno Rossi, Russo Barbara

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[281] arXiv:2407.06759 (cross-list from cs.CR) [pdf, html, other]

Title: Cybersecurity Defenses: Exploration of CVE Types through Attack Descriptions

Refat Othman, Bruno Rossi, Barbara Russo

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[282] arXiv:2407.07166 (cross-list from cs.CR) [pdf, other]

Title: UEFI Vulnerability Signature Generation using Static and Symbolic Analysis

Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[283] arXiv:2407.07560 (cross-list from cs.DB) [pdf, html, other]

Title: Instrumentation and Analysis of Native ML Pipelines via Logical Query Plans

Stefan Grafberger

Journal-ref: VLDB 2024 Workshop: VLDB Ph.D. Workshop

Subjects: Databases (cs.DB); Machine Learning (cs.LG); Software Engineering (cs.SE)

[284] arXiv:2407.07704 (cross-list from cs.CR) [pdf, html, other]

Title: Evaluating the Role of Security Assurance Cases in Agile Medical Device Development

Max Fransson, Adam Andersson, Mazen Mohamad, Jan-Philipp Steghöfer

Comments: Accepted at the 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) 2024

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[285] arXiv:2407.07766 (cross-list from cs.CR) [pdf, html, other]

Title: An investigation of the Online Payment and Banking System Apps in Bangladesh

Shahriar Hasan Mickey, Muhammad Nur Yanhaona

Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR); Software Engineering (cs.SE)

[286] arXiv:2407.08089 (cross-list from cs.PL) [pdf, other]

Title: Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language

Abdelrahman Abounegm (Innopolis University), Nikolai Kudasov (Innopolis University), Alexey Stepanov (Innopolis University)

Comments: In Proceedings TFPIE 2024, arXiv:2407.06355

Journal-ref: EPTCS 405, 2024, pp. 1-19

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[287] arXiv:2407.08474 (cross-list from cs.HC) [pdf, html, other]

Title: DIDUP: Dynamic Iterative Development for UI Prototyping

Jenny Ma, Karthik Sreedhar, Vivian Liu, Sitong Wang, Pedro Alejandro Perez, Lydia B. Chilton

Comments: 5 pages, 3 figures

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[288] arXiv:2407.08532 (cross-list from cs.CR) [pdf, html, other]

Title: Tactics, Techniques, and Procedures (TTPs) in Interpreted Malware: A Zero-Shot Generation with Large Language Models

Ying Zhang, Xiaoyan Zhou, Hui Wen, Wenjia Niu, Jiqiang Liu, Haining Wang, Qiang Li

Comments: 19 pages, 11 figures

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[289] arXiv:2407.08956 (cross-list from cs.CR) [pdf, html, other]

Title: Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss

Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, David Lo, Taolue Chen

Comments: TOSEM

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[290] arXiv:2407.09142 (cross-list from cs.CR) [pdf, other]

Title: Securing Confidential Data For Distributed Software Development Teams: Encrypted Container File

Tobias J. Bauer, Andreas Aßmuth

Comments: 18 pages, for associated implementation etc., see this https URL

Journal-ref: International Journal On Advances in Security, vol. 17, no. 1 and 2, pp. 11-28, 2024, ISSN 1942-2636

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[291] arXiv:2407.09348 (cross-list from cs.LO) [pdf, html, other]

Title: Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis

Andoni Rodríguez, Felipe Gorostiaga, César Sánchez

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[292] arXiv:2407.09513 (cross-list from eess.SY) [pdf, other]

Title: Aligning Models with Their Realization through Model-based Systems Engineering

Lovis Justin Immanuel Zenz, Erik Heiland, Peter Hillmann, Andreas Karcher

Journal-ref: Conference on Advanced Enterprise Information System (AEIS 2023)

Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[293] arXiv:2407.10322 (cross-list from cs.CY) [pdf, html, other]

Title: Building Collaborative Learning: Exploring Social Annotation in Introductory Programming

Francisco Gomes de Oliveira Neto, Felix Dobslaw

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[294] arXiv:2407.10397 (cross-list from cs.DC) [pdf, html, other]

Title: Comprehensive Review of Performance Optimization Strategies for Serverless Applications on AWS Lambda

Mohamed Lemine El Bechir, Cheikh Sad Bouh, Abobakr Shuwail

Comments: 7 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[295] arXiv:2407.11661 (cross-list from cs.PL) [pdf, other]

Title: Challenges of Multilingual Program Specification and Analysis

Carlo A. Furia, Abhishek Tiwari

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[296] arXiv:2407.11967 (cross-list from cs.DC) [pdf, html, other]

Title: Hydra: Brokering Cloud and HPC Resources to Support the Execution of Heterogeneous Workloads at Scale

Aymen Alsaadi, Shantenu Jha, Matteo Turilli

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[297] arXiv:2407.12037 (cross-list from cs.AR) [pdf, html, other]

Title: A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

Zhihao Xu, Shikai Guo, Guilin Zhao, Peiyu Zou, Xiaochen Li, He Jiang

Subjects: Hardware Architecture (cs.AR); Software Engineering (cs.SE)

[298] arXiv:2407.12135 (cross-list from cs.CY) [pdf, html, other]

Title: Trustworthy AI in practice: an analysis of practitioners' needs and challenges

Maria Teresa Baldassarre, Domenico Gigante, Marcos Kalinowski, Azzurra Ragone, Sara Tibidò

Journal-ref: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE 2024), June 18-21, 2024, Salerno, Italy

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[299] arXiv:2407.12355 (cross-list from cs.CY) [pdf, other]

Title: Are Educational Escape Rooms More Effective Than Traditional Lectures for Teaching Software Engineering? A Randomized Controlled Trial

Aldo Gordillo, Daniel López-Fernández

Comments: 9 pages, 1 figure. Journal article published in IEEE Transactions on Education

Journal-ref: IEEE Transactions on Education, 2024

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[300] arXiv:2407.12499 (cross-list from cs.PL) [pdf, html, other]

Title: Easing Maintenance of Academic Static Analyzers

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)