Software Engineering

Authors and titles for February 2024

[1] arXiv:2402.00093 [pdf, html, other]

Title: ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation

Bhabesh Mali, Karthik Maddala, Vatsal Gupta, Sweeya Reddy, Chandan Karfa, Ramesh Karri

Comments: 4 pages, 2 figures and 2 tables

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

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

Title: Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM

Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray

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

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

Title: An Architecture for Software Engineering Gamification

Óscar Pedreira, Félix García, Mario Piattini, Alejandro Cortiñas, Ana Cerdeira-Pena

Journal-ref: Tsinghua Science and Technology, 25(6):776-797, December 2020

Subjects: Software Engineering (cs.SE)

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

Title: Towards AI-Assisted Synthesis of Verified Dafny Methods

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

Comments: This is an author provided preprint. The final version will be published at Proc. ACM Softw. Eng; FSE 2024, in July 2024

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

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

Title: Improving Program Debloating with 1-DU Chain Minimality

Myeongsoo Kim, Santosh Pande, Alessandro Orso

Comments: To be published in the 46th IEEE/ACM International Conference on Software Engineering: Companion Proceedings(ICSE-Companion 2024)

Subjects: Software Engineering (cs.SE)

[6] arXiv:2402.00350 [pdf, other]

Title: Large Language Models Based Fuzzing Techniques: A Survey

Linghan Huang, Peizhou Zhao, Huaming Chen, Lei Ma

Comments: 9 pages submission under review

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

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

Title: Reproducibility of Build Environments through Space and Time

Julien Malka (IP Paris, LTCI, ACES), Stefano Zacchiroli (IP Paris, LTCI, ACES), Théo Zimmermann (ACES, INFRES, IP Paris)

Comments: 46th International Conference on Software Engineering (ICSE 2024) - New Ideas and Emerging Results (NIER) Track, Apr 2024, Lisbonne, Portugal

Subjects: Software Engineering (cs.SE)

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

Title: Exploring Data Management Challenges and Solutions in Agile Software Development: A Literature Review and Practitioner Survey

Ahmed Fawzy, Amjed Tahir, Matthias Galster, Peng Liang

Subjects: Software Engineering (cs.SE)

[9] arXiv:2402.00519 [pdf, other]

Title: Towards Summarizing Code Snippets Using Pre-Trained Transformers

Antonio Mastropaolo, Matteo Ciniselli, Luca Pascarella, Rosalia Tufano, Emad Aghajani, Gabriele Bavota

Subjects: Software Engineering (cs.SE)

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

Title: Identifying relevant Factors of Requirements Quality: an industrial Case Study

Julian Frattini

Comments: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in "Requirements Engineering: Foundation for Software Quality" (this https URL), and is available online at this https URL

Journal-ref: Requirements Engineering: Foundation for Software Quality. REFSQ 2024. Lecture Notes in Computer Science, vol 14588. Springer, Cham

Subjects: Software Engineering (cs.SE)

[11] arXiv:2402.00657 [pdf, other]

Title: Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks

Zhongxin Liu, Zhijie Tang, Junwei Zhang, Xin Xia, Xiaohu Yang

Comments: Accepted by ICSE 2024

Subjects: Software Engineering (cs.SE)

[12] arXiv:2402.00699 [pdf, other]

Title: PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software

Wenxin Jiang, Jerin Yasmin, Jason Jones, Nicholas Synovic, Jiashen Kuo, Nathaniel Bielanski, Yuan Tian, George K. Thiruvathukal, James C. Davis

Comments: Accepted at MSR'24

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

[13] arXiv:2402.00734 [pdf, other]

Title: BIOMERO: BioImage analysis in OMERO

Torec T. Luik, Rodrigo Rosas-Bertolini, Eric A.J. Reits, Ron A. Hoebe, Przemek M. Krawczyk

Comments: 20 pages, 3 figures, 4 pages supplemental information; submitted to Cell Patterns; for software, see this https URL

Subjects: Software Engineering (cs.SE)

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

Title: Fine-Tuning and Prompt Engineering for Large Language Models-based Code Review Automation

Chanathip Pornprasit, Chakkrit Tantithamthavorn

Comments: 13 pages. Submit to IST journal

Subjects: Software Engineering (cs.SE)

[15] arXiv:2402.00950 [pdf, html, other]

Title: Semantic Constraint Inference for Web Form Test Generation

Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah

Subjects: Software Engineering (cs.SE)

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

Title: Towards Understanding the Challenges of Bug Localization in Deep Learning Systems

Sigma Jahan, Mehil B. Shah, Mohammad Masudur Rahman

Subjects: Software Engineering (cs.SE)

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

Title: Data-Driven Evidence-Based Syntactic Sugar Design

David OBrien, Robert Dyer, Tien N. Nguyen, Hridesh Rajan

Comments: 12 pages, 12 figures, to be published in ICSE'24

Subjects: Software Engineering (cs.SE)

[18] arXiv:2402.01156 [pdf, other]

Title: An Empirical Study on Low Code Programming using Traditional vs Large Language Model Support

Yongkun Liu, Jiachi Chen, Tingting Bi, John Grundy, Yanlin Wang, Jianxing Yu, Ting Chen, Yutian Tang, Zibin Zheng

Subjects: Software Engineering (cs.SE)

[19] arXiv:2402.01386 [pdf, html, other]

Title: Can Large Language Models Serve as Data Analysts? A Multi-Agent Assisted Approach for Qualitative Data Analysis

Zeeshan Rasheed, Muhammad Waseem, Aakash Ahmad, Kai-Kristian Kemell, Wang Xiaofeng, Anh Nguyen Duc, Pekka Abrahamsson

Comments: 9 pages and 2 figures

Subjects: Software Engineering (cs.SE)

[20] arXiv:2402.01391 [pdf, other]

Title: StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback

Shihan Dou, Yan Liu, Haoxiang Jia, Limao Xiong, Enyu Zhou, Wei Shen, Junjie Shan, Caishuang Huang, Xiao Wang, Xiaoran Fan, Zhiheng Xi, Yuhao Zhou, Tao Ji, Rui Zheng, Qi Zhang, Xuanjing Huang, Tao Gui

Comments: 13 pages, 5 figures

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

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

Title: CodePori: Large-Scale System for Autonomous Software Development Using Multi-Agent Technology

Zeeshan Rasheed, Malik Abdul Sami, Kai-Kristian Kemell, Muhammad Waseem, Mika Saari, Kari Systä, Pekka Abrahamsson

Comments: 18 pages, 2 figures, and 5 Table

Subjects: Software Engineering (cs.SE)

[22] arXiv:2402.01438 [pdf, other]

Title: Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot

Kei Koyanagi, Dong Wang, Kotaro Noguchi, Masanari Kondo, Alexander Serebrenik, Yasutaka Kamei, Naoyasu Ubayashi

Subjects: Software Engineering (cs.SE)

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

Title: An Actionable Framework for Understanding and Improving Talent Retention as a Competitive Advantage in IT Organizations

Luiz Alexandre Costa, Edson Dias, Danilo Monteiro Ribeiro, Awdren Fontão, Gustavo Pinto, Rodrigo Pereira dos Santos, Alexander Serebrenik

Comments: arXiv admin note: text overlap with arXiv:2205.06352 by other authors

Subjects: Software Engineering (cs.SE)

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

Title: COMET: Generating Commit Messages using Delta Graph Context Representation

Abhinav Reddy Mandli, Saurabhsingh Rajput, Tushar Sharma

Comments: 22 Pages, 7 Figures

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

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

Title: FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing

Aniruddhan Murali, Noble Saji Mathews, Mahmoud Alfadel, Meiyappan Nagappan, Meng Xu

Comments: The paper has been accepted for publication at ICSE 2024 (Research Track)

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