Software Engineering

Authors and titles for July 2024

[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)