Software Engineering

Authors and titles for cs.SE in Mar 2024, skipping first 250

[251]  arXiv:2403.12605 (cross-list from cs.DB) [pdf, other]

Title: A Benchmark for Data Management in Microservices

Authors: Rodrigo Laigner, Zhexiang Zhang, Yijian Liu, Leonardo Freitas Gomes, Yongluan Zhou

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

[252]  arXiv:2403.12723 (cross-list from cs.CR) [pdf, ps, other]

Title: Python Fuzzing for Trustworthy Machine Learning Frameworks

Authors: Ilya Yegorov, Eli Kobrin, Darya Parygina, Alexey Vishnyakov, Andrey Fedotov

Journal-ref: Zapiski Nauchnykh Seminarov Sankt-Peterburgskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Rossiiskoi Akademii Nauk 530 (2023) 38-50

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

[253]  arXiv:2403.13784 (cross-list from cs.LG) [pdf, ps, other]

Title: The Model Openness Framework: Promoting Completeness and Openness for Reproducibility, Transparency and Usability in AI

Authors: Matt White, Ibrahim Haddad, Cailean Osborne, Xiao-Yang (Yanglet)Liu, Ahmed Abdelmonsef, Sachin Varghese

Comments: 45 pages

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

[254]  arXiv:2403.14356 (cross-list from cs.LG) [pdf, other]

Title: DomainLab: A modular Python package for domain generalization in deep learning

Authors: Xudong Sun, Carla Feistner, Alexej Gossmann, George Schwarz, Rao Muhammad Umer, Lisa Beer, Patrick Rockenschaub, Rahul Babu Shrestha, Armin Gruber, Nutan Chen, Sayedali Shetab Boushehri, Florian Buettner, Carsten Marr

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

[255]  arXiv:2403.14697 (cross-list from cs.CY) [pdf, ps, other]

Title: An AIC-based approach for articulating unpredictable problems in open complex environments

Authors: Haider AL-Shareefy, Michael Butler, Thai Son Hoang

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: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[256]  arXiv:2403.14721 (cross-list from cs.DL) [pdf, ps, other]

Title: Automated Extraction and Maturity Analysis of Open Source Clinical Informatics Repositories from Scientific Literature

Authors: Jeremy R. Harper

Subjects: Digital Libraries (cs.DL); Software Engineering (cs.SE)

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

Title: Navigating Fairness: Practitioners' Understanding, Challenges, and Strategies in AI/ML Development

Authors: Aastha Pant, Rashina Hoda, Chakkrit Tantithamthavorn, Burak Turhan

Comments: 31 pages, 8 figures, 2 tables

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

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

Title: A hybrid LLM workflow can help identify user privilege related variables in programs of any size

Authors: Haizhou Wang, Zhilong Wang, Peng Liu

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

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

Title: Can Language Models Pretend Solvers? Logic Code Simulation with LLMs

Authors: Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue

Comments: 12 pages, 8 figures

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

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

Title: CodeS: Natural Language to Code Repository via Multi-Layer Sketch

Authors: Daoguang Zan, Ailun Yu, Wei Liu, Dong Chen, Bo Shen, Wei Li, Yafen Yao, Yongshun Gong, Xiaolin Chen, Bei Guan, Zhiguang Yang, Yongji Wang, Qianxiang Wang, Lizhen Cui

Comments: this https URL

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

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

Title: ProCQA: A Large-scale Community-based Programming Question Answering Dataset for Code Search

Authors: Zehan Li, Jianfei Zhang, Chuantao Yin, Yuanxin Ouyang, Wenge Rong

Comments: Accepted to LREC-COLING 2024

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

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

Title: DeepKnowledge: Generalisation-Driven Deep Learning Testing

Authors: Sondess Missaoui, Simos Gerasimou, Nikolaos Matragkas

Comments: 10 pages

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

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

Title: Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback

Authors: Zhangqian Bi, Yao Wan, Zheng Wang, Hongyu Zhang, Batu Guan, Fangxin Lu, Zili Zhang, Yulei Sui, Xuanhua Shi, Hai Jin

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

[264]  arXiv:2403.17209 (cross-list from cs.AI) [pdf, ps, other]

Title: Generation of Asset Administration Shell with Large Language Model Agents: Interoperability in Digital Twins with Semantic Node

Authors: Yuchen Xia, Zhewen Xiao, Nasser Jazdi, Michael Weyrich

Comments: Pre-print, submitted to IEEE ACCESS, under peer-review

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[265]  arXiv:2403.17862 (cross-list from cs.LO) [pdf, ps, other]

Title: Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems

Authors: Frédéric Lang (INRIA Grenoble Rhône-Alpes, France), Matthias Volk (Eindhoven University of Technology, The Netherlands)

Journal-ref: EPTCS 399, 2024

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

[266]  arXiv:2403.18720 (cross-list from cs.AR) [pdf, ps, other]

Title: Testing Resource Isolation for System-on-Chip Architectures

Authors: Philippe Ledent, Radu Mateescu, Wendelin Serwe

Comments: In Proceedings MARS 2024, arXiv:2403.17862

Journal-ref: EPTCS 399, 2024, pp. 129-168

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

[267]  arXiv:2403.18916 (cross-list from cs.LO) [pdf, ps, other]

Title: Modelling the Raft Distributed Consensus Protocol in mCRL2

Authors: Parth Bora (Eindhoven University of Technology), Pham Duc Minh (Eindhoven University of Technology), Tim A.C. Willemse (Eindhoven University of Technology)

Comments: In Proceedings MARS 2024, arXiv:2403.17862

Journal-ref: EPTCS 399, 2024, pp. 7-20

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

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

Title: AssetHarvester: A Static Analysis Tool for Detecting Assets Protected by Secrets in Software Artifacts

Authors: Setu Kumar Basak, K. Virgil English, Ken Ogura, Vitesh Kambara, Bradley Reaves, Laurie Williams

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

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

Title: Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts

Authors: Shuo Yang, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang

Comments: Accepted by ICSE 2024

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

[270]  arXiv:2403.01131 (cross-list from math.OC) [pdf, other]

Title: LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation

Authors: Zeyuan Ma, Hongshu Guo, Jiacheng Chen, Guojun Peng, Zhiguang Cao, Yining Ma, Yue-Jiao Gong

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)