Software Engineering

Authors and titles for January 2024

[26] arXiv:2401.02033 [pdf, html, other]

Title: Automated Test Production -- Systematic Literature Review

José Marcos Gomes, Luis Alberto Vieira Dias

Subjects: Software Engineering (cs.SE)

[27] arXiv:2401.02090 [pdf, html, other]

Title: ModuleGuard:Understanding and Detecting Module Conflicts in Python Ecosystem

Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen, Rui Chang, Yang Liu

Comments: The paper was accepted by ICSE24

Subjects: Software Engineering (cs.SE)

[28] arXiv:2401.02153 [pdf, other]

Title: Unit Testing in ASP Revisited: Language and Test-Driven Development Environment

Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca

Journal-ref: Theory and Practice of Logic Programming 24 (2024) 1078-1108

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

[29] arXiv:2401.02230 [pdf, html, other]

Title: Automated Test Production -- Complement to "Ad-hoc" Testing

José Marcos Gomes, Luis Alberto Vieira Dias

Subjects: Software Engineering (cs.SE)

[30] arXiv:2401.02245 [pdf, html, other]

Title: On Augmenting Scenario-Based Modeling with Generative AI

David Harel, Guy Katz, Assaf Marron, Smadar Szekely

Comments: This is a preprint version of a paper that will appear at Modelsward 2024

Subjects: Software Engineering (cs.SE)

[31] arXiv:2401.02253 [pdf, html, other]

Title: REDriver: Runtime Enforcement for Autonomous Vehicles

Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun

Comments: Accepted by the IEEE/ACM 46th International Conference on Software Engineering (ICSE 2024)

Journal-ref: Proc. ICSE'24, Article No. 176, pages 1-12. ACM, 2024

Subjects: Software Engineering (cs.SE)

[32] arXiv:2401.02268 [pdf, html, other]

Title: Beyond Self-Promotion: How Software Engineering Research Is Discussed on LinkedIn

Marvin Wyrich, Justus Bogner

Comments: Accepted for publication at the 46th International Conference on Software Engineering (ICSE 2024), Software Engineering in Society (SEIS) track

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

[33] arXiv:2401.02283 [pdf, html, other]

Title: DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace

Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi

Comments: This is a preprint version of a paper that will appear at 43rd Digital Avionics Systems Conference (DASC 2024)

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

[34] arXiv:2401.02618 [pdf, html, other]

Title: Regular Abstractions for Array Systems

Chih-Duo Hong, Anthony W. Lin

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

[35] arXiv:2401.02660 [pdf, other]

Title: Exception-aware Lifecycle Model Construction for Framework APIs

Jiwei Yan, Jinhao Huang, Hengqin Yang, Jun Yan

Comments: in Chinese language

Subjects: Software Engineering (cs.SE)

[36] arXiv:2401.02664 [pdf, other]

Title: Modelling Open-Source Software Reliability Incorporating Swarm Intelligence-Based Techniques

Omar Shatnawi

Comments: 14 pages, 11 figures, 7 tables

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 15, No 6, December 2023

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

[37] arXiv:2401.02737 [pdf, html, other]

Title: SliceLocator: Locating Vulnerable Statements with Graph-based Detectors

Baijun Cheng, Kailong Wang, Cuiyun Gao, Xiapu Luo, Li Li, Yao Guo, Xiangqun Chen, Haoyu Wang

Subjects: Software Engineering (cs.SE)

[38] arXiv:2401.02755 [pdf, html, other]

Title: "My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors

Youmei Fan, Tao Xiao, Hideaki Hata, Christoph Treude, Kenichi Matsumoto

Subjects: Software Engineering (cs.SE)

[39] arXiv:2401.02780 [pdf, html, other]

Title: Overwhelmed software developers: An Interpretative Phenomenological Analysis

Lisa-Marie Michels, Aleksandra Petkova, Marcel Richter, Andreas Farley, Daniel Graziotin, Stefan Wagner

Comments: 46 pages, technical report

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

[40] arXiv:2401.03003 [pdf, html, other]

Title: AST-T5: Structure-Aware Pretraining for Code Generation and Understanding

Linyuan Gong, Mostafa Elhoushi, Alvin Cheung

Comments: 15 pages; ICML 2024: this https URL

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

[41] arXiv:2401.03065 [pdf, html, other]

Title: CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang

Comments: 71 pages, 29 figures

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

[42] arXiv:2401.03069 [pdf, html, other]

Title: Towards Enhancing the Reproducibility of Deep Learning Bugs: An Empirical Study

Mehil B. Shah, Mohammad Masudur Rahman, Foutse Khomh

Comments: Accepted at the Journal of Empirical Software Engineering (EMSE)

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

[43] arXiv:2401.03151 [pdf, html, other]

Title: Semi-supervised learning via DQN for log anomaly detection

Yingying He, Xiaobing Pei

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

[44] arXiv:2401.03303 [pdf, html, other]

Title: Guiding Effort Allocation in Open-Source Software Projects Using Bus Factor Analysis

Aliza Lisan, Boyana Norris

Subjects: Software Engineering (cs.SE)

[45] arXiv:2401.03374 [pdf, html, other]

Title: LLM-Powered Code Vulnerability Repair with Reinforcement Learning and Semantic Reward

Nafis Tanveer Islam, Joseph Khoury, Andrew Seong, Mohammad Bahrami Karkevandi, Gonzalo De La Torre Parra, Elias Bou-Harb, Peyman Najafirad

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

[46] arXiv:2401.03469 [pdf, html, other]

Title: Efficient Test Data Generation for MC/DC with OCL and Search

Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan

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

[47] arXiv:2401.03653 [pdf, html, other]

Title: An Exploratory Study on Automatic Identification of Assumptions in the Development of Deep Learning Frameworks

Chen Yang, Peng Liang, Zinan Ma

Comments: Preprint accepted for publication in Science of Computer Programming, 2024

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

[48] arXiv:2401.03676 [pdf, html, other]

Title: Assessing AI Detectors in Identifying AI-Generated Code: Implications for Education

Wei Hung Pan, Ming Jie Chok, Jonathan Leong Shan Wong, Yung Xin Shin, Yeong Shian Poon, Zhou Yang, Chun Yong Chong, David Lo, Mei Kuan Lim

Comments: 11 pages, paper accepted at 46th International Conference on Software Engineering, Software Engineering Education and Training Track (ICSE-SEET 2024)

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

[49] arXiv:2401.03741 [pdf, other]

Title: Enhanced Automated Code Vulnerability Repair using Large Language Models

David de-Fitero-Dominguez, Eva Garcia-Lopez, Antonio Garcia-Cabot, Jose-Javier Martinez-Herraiz

Journal-ref: Engineering Applications of Artificial Intelligence. Volume 138, Part A, December 2024, 109291

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

[50] arXiv:2401.03833 [pdf, other]

Title: T-FREX: A Transformer-based Feature Extraction Method from Mobile App Reviews

Quim Motger, Alessio Miaschi, Felice Dell'Orletta, Xavier Franch, Jordi Marco

Comments: Accepted at IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024). 12 pages (including references), 5 figures, 4 tables

Subjects: Software Engineering (cs.SE)