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)