Software Engineering

Authors and titles for January 2024

[1] arXiv:2401.00021 [pdf, other]

Title: Conceptual Mutation Testing for Student Programming Misconceptions

Siddhartha Prasad (Brown University, USA), Ben Greenman (Brown University, USA), Tim Nelson (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 7

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

[2] arXiv:2401.00288 [pdf, html, other]

Title: Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit

Yao Wan, Yang He, Zhangqian Bi, Jianguo Zhang, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin, Philip S. Yu

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

[3] arXiv:2401.00379 [pdf, html, other]

Title: DREAM: Debugging and Repairing AutoML Pipelines

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen

Comments: 12 pages, 10 figures

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

[4] arXiv:2401.00449 [pdf, html, other]

Title: Teaching Digital Accessibility to Industry Professionals using the Community of Practice Framework: An Experience Report

Parthasarathy PD, Swaroop Joshi

Comments: To be published in International Conference on Software Engineering (ICSE'24), Software Engineering Education and Training Track

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

[5] arXiv:2401.00451 [pdf, html, other]

Title: Exploring the Need of Accessibility Education in the Software Industry: Insights from a Survey of Software Professionals in India

Parthasarathy P D, Swaroop Joshi

Comments: To be published in International Conference on Software Engineering (ICSE'24), Software Engineering Education and Training Track

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

[6] arXiv:2401.00515 [pdf, other]

Title: Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem

Jinchang Hu (1), Lyuye Zhang (2), Chengwei Liu (2), Sen Yang (3), Song Huang (1), Yang Liu (2) ((1) College of Command and Control Engineering, Army Engineering University of PLA, NanJing, China. (2) Continental-NTU Corporate Lab, Nanyang Technological University, Singapore, Singapore. (3) Academy of Military Science, BeiJing, China.)

Comments: 12 pages, 10 figures, 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE '24)

Subjects: Software Engineering (cs.SE)

[7] arXiv:2401.00650 [pdf, html, other]

Title: Automated Invariant Generation for Solidity Smart Contracts

Ye Liu, Chengxuan Zhang, Yi Li. (Nanyang Technological University, Singapore)

Subjects: Software Engineering (cs.SE)

[8] arXiv:2401.00757 [pdf, html, other]

Title: LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

Yuxuan Wan, Wenxuan Wang, Yiliu Yang, Youliang Yuan, Jen-tse Huang, Pinjia He, Wenxiang Jiao, Michael R. Lyu

Comments: Accepted by EMNLP 2024

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

[9] arXiv:2401.00761 [pdf, html, other]

Title: The Earth is Flat? Unveiling Factual Errors in Large Language Models

Wenxuan Wang, Juluan Shi, Zhaopeng Tu, Youliang Yuan, Jen-tse Huang, Wenxiang Jiao, Michael R. Lyu

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

[10] arXiv:2401.00763 [pdf, html, other]

Title: New Job, New Gender? Measuring the Social Bias in Image Generation Models

Wenxuan Wang, Haonan Bai, Jen-tse Huang, Yuxuan Wan, Youliang Yuan, Haoyi Qiu, Nanyun Peng, Michael R. Lyu

Comments: ACM MM 2024 Oral

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)

[11] arXiv:2401.00879 [pdf, html, other]

Title: SoK: Demystifying Privacy Enhancing Technologies Through the Lens of Software Developers

Maisha Boteju, Thilina Ranbaduge, Dinusha Vatsalan, Nalin Asanka Gamagedara Arachchilage

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

[12] arXiv:2401.00963 [pdf, other]

Title: Leveraging Large Language Models to Boost Dafny's Developers Productivity

Álvaro Silva, Alexandra Mendes, João F. Ferreira

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

[13] arXiv:2401.01011 [pdf, html, other]

Title: Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring

Ivan Tan, Christopher M. Poskitt

Comments: Accepted by the 55th ACM Technical Symposium on Computer Science Education (SIGCSE'24)

Journal-ref: Proc. SIGCSE'24, pages 1307-1313. ACM, 2024

Subjects: Software Engineering (cs.SE)

[14] arXiv:2401.01036 [pdf, html, other]

Title: PTE: Axiomatic Semantics based Compiler Testing

Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang

Subjects: Software Engineering (cs.SE)

[15] arXiv:2401.01060 [pdf, other]

Title: Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models

Shuzheng Gao, Wenxin Mao, Cuiyun Gao, Li Li, Xing Hu, Xin Xia, Michael R. Lyu

Comments: Accepted by ICSE 2024

Subjects: Software Engineering (cs.SE)

[16] arXiv:2401.01062 [pdf, html, other]

Title: Experimenting a New Programming Practice with LLMs

Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu

Subjects: Software Engineering (cs.SE)

[17] arXiv:2401.01154 [pdf, html, other]

Title: Applying Bayesian Data Analysis for Causal Inference about Requirements Quality: A Controlled Experiment

Julian Frattini, Davide Fucci, Richard Torkar, Lloyd Montgomery, Michael Unterkalmsteiner, Jannik Fischbach, Daniel Mendez

Subjects: Software Engineering (cs.SE)

[18] arXiv:2401.01416 [pdf, other]

Title: Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners

Md Towhidul Absar Chowdhury, Maheen Riaz Contractor, Carlos R. Rivero

Subjects: Software Engineering (cs.SE)

[19] arXiv:2401.01430 [pdf, other]

Title: Automated Test Production -- Systematic Literature Mapping

José Marcos Gomes, Luis Alberto Vieira Dias

Subjects: Software Engineering (cs.SE)

[20] arXiv:2401.01508 [pdf, html, other]

Title: Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering

Mehrdad Sabetzadeh, Chetan Arora

Comments: This article will appear as Chapter 15 in a book titled "Handbook of Natural Language Processing for Requirements Engineering", to be published by Springer

Subjects: Software Engineering (cs.SE)

[21] arXiv:2401.01512 [pdf, html, other]

Title: Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code?

Alejandro Velasco, David N. Palacio, Daniel Rodriguez-Cardenas, Denys Poshyvanyk

Subjects: Software Engineering (cs.SE)

[22] arXiv:2401.01571 [pdf, html, other]

Title: CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations

Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di

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

[23] arXiv:2401.01701 [pdf, html, other]

Title: De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding

Aryaz Eghbali, Michael Pradel

Subjects: Software Engineering (cs.SE)

[24] arXiv:2401.01754 [pdf, html, other]

Title: Using AI/ML to Find and Remediate Enterprise Secrets in Code & Document Sharing Platforms

Gregor Kerr, David Algorry, Senad Ibraimoski, Peter Maciver, Sean Moran

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

[25] arXiv:2401.01782 [pdf, html, other]

Title: Profiling the carbon footprint of performance bugs

Iztok Fister Jr., Dušan Fister, Vili Podgorelec, Iztok Fister

Subjects: Software Engineering (cs.SE)

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