Software Engineering

Authors and titles for June 2023

[151] arXiv:2306.16171 [pdf, other]

Title: A systematic literature review on source code similarity measurement and clone detection: techniques, applications, and challenges

Morteza Zakeri-Nasrabadi, Saeed Parsa, Mohammad Ramezani, Chanchal Roy, Masoud Ekhtiarzadeh

Comments: 49 pages, 10 figures, 6 tables

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

[152] arXiv:2306.16178 [pdf, other]

Title: FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs

Philipp Schaad, Timo Schneider, Tal Ben-Nun, Alexandru Calotoiu, Alexandros Nikolaos Ziogas, Torsten Hoefler

Subjects: Software Engineering (cs.SE)

[153] arXiv:2306.16307 [pdf, html, other]

Title: Characterizing Deep Learning Package Supply Chains in PyPI: Domains, Clusters, and Disengagement

Kai Gao, Runzhi He, Bing Xie, Minghui Zhou

Comments: Preprint of paper accepted by ACM Transactions on Software Engineering and Methodology (TOSEM)

Subjects: Software Engineering (cs.SE)

[154] arXiv:2306.16728 [pdf, other]

Title: IoT Data Processing for Smart City and Semantic Web Applications

Shubham Mante

Subjects: Software Engineering (cs.SE)

[155] arXiv:2306.16791 [pdf, other]

Title: Divide and Conquer the EmpiRE: A Community-Maintainable Knowledge Graph of Empirical Research in Requirements Engineering

Oliver Karras, Felix Wernlein, Jil Klünder, Sören Auer

Comments: Accepted for publication at the 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2023)

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

[156] arXiv:2306.16829 [pdf, other]

Title: A Query Language for Software Architecture Information (Extended version)

Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer

Subjects: Software Engineering (cs.SE)

[157] arXiv:2306.16992 [pdf, other]

Title: Mitigating Noise in Quantum Software Testing Using Machine Learning

Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini

Subjects: Software Engineering (cs.SE)

[158] arXiv:2306.17077 [pdf, html, other]

Title: RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot

Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan

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

[159] arXiv:2306.17407 [pdf, html, other]

Title: Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

Peixun Long, Jianjun Zhao

Comments: 62 pages

Subjects: Software Engineering (cs.SE); Quantum Physics (quant-ph)

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

Title: Human-centric Literature on Trust for SfTI Veracity Spearhead

Kelly Blincoe, Markus Luczak-Roesch, Tim Miller, Matthias Galster

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

[161] arXiv:2306.01697 (cross-list from cs.LG) [pdf, html, other]

Title: Exploring Robustness of Image Recognition Models on Hardware Accelerators

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Comments: 7 pages, 6 figures

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Systems and Control (eess.SY)

[162] arXiv:2306.01774 (cross-list from cs.CY) [pdf, html, other]

Title: RE-centric Recommendations for the Development of Trustworthy(er) Autonomous Systems

Krishna Ronanki, Beatriz Cabrero-Daniel, Jennifer Horkoff, Christian Berger

Comments: Accepted at [TAS '23]{First International Symposium on Trustworthy Autonomous Systems}

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

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

Title: Evaluating GPT's Programming Capability through CodeWars' Katas

Zizhuo Zhang, Lian Wen, Shaoyang Zhang, David Chen, Yanfei Jiang

Comments: 9 pages

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

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

Title: Exploring the Environmental Benefits of In-Process Isolation for Software Resilience

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

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

[165] arXiv:2306.02496 (cross-list from cs.DC) [pdf, other]

Title: Hawk: DevOps-driven Transparency and Accountability in Cloud Native Systems

Elias Grünewald, Jannis Kiesel, Siar-Remzi Akbayin, Frank Pallas

Comments: preprint, accepted for the 16th IEEE International Conference on Cloud Computing 2023, IEEE Cloud 2023

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)

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

Title: SelfEvolve: A Code Evolution Framework via Large Language Models

Shuyang Jiang, Yuhao Wang, Yu Wang

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

[167] arXiv:2306.02983 (cross-list from cs.FL) [pdf, other]

Title: A Term-based Approach for Generating Finite Automata from Interaction Diagrams

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Comments: 29 pages (15 pages paper, 3 pages references, 11 pages appendix) 9 figures in paper, 14 figures in appendix

Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

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

Title: RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems

Tianyang Liu, Canwen Xu, Julian McAuley

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

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

Title: A Static Evaluation of Code Completion by Large Language Models

Hantian Ding, Varun Kumar, Yuchen Tian, Zijian Wang, Rob Kwiatkowski, Xiaopeng Li, Murali Krishna Ramanathan, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang

Comments: Accepted by ACL 2023 industry track

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

[170] arXiv:2306.03268 (cross-list from cs.CL) [pdf, html, other]

Title: Skill over Scale: The Case for Medium, Domain-Specific Models for SE

Manisha Mukherjee, Vincent J. Hellendoorn

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

[171] arXiv:2306.03269 (cross-list from cs.CR) [pdf, html, other]

Title: Security Knowledge-Guided Fuzzing of Deep Learning Libraries

Nima Shiri Harzevili, Mohammad Mahdi Mohajer, Moshi Wei, Hung Viet Pham, Song Wang

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

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

Title: Large Language Models of Code Fail at Completing Code with Potential Bugs

Tuan Dinh, Jinman Zhao, Samson Tan, Renato Negrinho, Leonard Lausen, Sheng Zha, George Karypis

Comments: 27 pages, accepted to NeurIPS 2023

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

[173] arXiv:2306.03525 (cross-list from cs.HC) [pdf, other]

Title: Measuring User Experience of Adaptive User Interfaces using EEG: A Replication Study

Daniel Gaspar-Figueiredo, Silvia Abrahão, Emilio Insfrán, Jean Vanderdonckt

Comments: 10 pages, 4 figures, 2 tables, 34 references, International Conference on Evaluation and Assessment in Software Engineering (EASE '23)

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

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

Title: An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts

Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura

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

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

Title: Development of a Multi-purpose Fuzzer to Perform Assessment as Input to a Cybersecurity Risk Assessment and Analysis System

Jack Hance, Jeremy Straub

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

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

Title: Sustainable Adaptive Security

Liliana Pasquale, Kushal Ramkumar, Wanling Cai, John McCarthy, Gavin Doherty, Bashar Nuseibeh

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

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

Title: Git-Theta: A Git Extension for Collaborative Development of Machine Learning Models

Nikhil Kandpal, Brian Lester, Mohammed Muqeeth, Anisha Mascarenhas, Monty Evans, Vishal Baskaran, Tenghao Huang, Haokun Liu, Colin Raffel

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

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

Title: StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code

Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q Feldman, Carolyn Jane Anderson

Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

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

Title: Recent applications of machine learning, remote sensing, and iot approaches in yield prediction: a critical review

Fatima Zahra Bassine, Terence Epule Epule, Ayoub Kechchour, Abdelghani Chehbouni

Comments: 35 pages, 12 figures, 14 tables

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[180] arXiv:2306.04578 (cross-list from quant-ph) [pdf, other]

Title: A Reference Architecture for Quantum Computing as a Service

Aakash Ahmad, Ahmed B. Altamimi, Jamal Aqib

Comments: 25 pages

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)

[181] arXiv:2306.04930 (cross-list from cs.HC) [pdf, html, other]

Title: When to Show a Suggestion? Integrating Human Feedback in AI-Assisted Programming

Hussein Mozannar, Gagan Bansal, Adam Fourney, Eric Horvitz

Comments: AAAI 2024

Subjects: Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

Monika di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer

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

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

Title: Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas

Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori

Comments: Accepted to IEEE RE 2023, International Conference on Requirements Engineering, 10 pages plus 2 pages of references

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

[184] arXiv:2306.05499 (cross-list from cs.CR) [pdf, html, other]

Title: Prompt Injection attack against LLM-integrated Applications

Yi Liu, Gelei Deng, Yuekang Li, Kailong Wang, Zihao Wang, Xiaofeng Wang, Tianwei Zhang, Yepang Liu, Haoyu Wang, Yan Zheng, Yang Liu

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

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

Title: Exploring the Responses of Large Language Models to Beginner Programmers' Help Requests

Arto Hellas, Juho Leinonen, Sami Sarsa, Charles Koutcheme, Lilja Kujanpää, Juha Sorva

Comments: 13 pages, 1 figure. To be published in Proceedings of the 2023 ACM Conference on International Computing Education Research V.1 (ICER '23 V1)

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[186] arXiv:2306.06157 (cross-list from cs.CV) [pdf, html, other]

Title: Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Comments: 5 pages, 3 figures, 1 table

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Software Engineering (cs.SE); Systems and Control (eess.SY)

[187] arXiv:2306.06208 (cross-list from cs.CV) [pdf, html, other]

Title: DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Comments: 11 pages, 10 figures, 2 tables

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Software Engineering (cs.SE); Systems and Control (eess.SY)

[188] arXiv:2306.06755 (cross-list from cs.PL) [pdf, other]

Title: CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh

Comments: The paper has been published at the 27th European Conference on Artificial Intelligence (ECAI-2024) and is available at this https URL. This arXiv version is the full version that includes the supplementary material (Appendix)

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

[189] arXiv:2306.07856 (cross-list from cs.AI) [pdf, html, other]

Title: Bayesian Program Learning by Decompiling Amortized Knowledge

Alessandro B. Palmarini, Christopher G. Lucas, N. Siddharth

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

[190] arXiv:2306.07888 (cross-list from cs.PF) [pdf, other]

Title: CAMEO: A Causal Transfer Learning Approach for Performance Optimization of Configurable Computer Systems

Md Shahriar Iqbal, Ziyuan Zhong, Iftakhar Ahmad, Baishakhi Ray, Pooyan Jamshidi

Subjects: Performance (cs.PF); Software Engineering (cs.SE); Systems and Control (eess.SY)

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

Title: Feature Engineering-Based Detection of Buffer Overflow Vulnerability in Source Code Using Neural Networks

Mst Shapna Akter, Hossain Shahriar, Juan Rodriguez Cardenas, Sheikh Iqbal Ahamed, Alfredo Cuzzocrea

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

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

Title: Semantic-Based Neural Network Repair

Richard Schumi, Jun Sun

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

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

Title: Distributed Trust Through the Lens of Software Architecture

Sin Kit Lo, Yue Liu, Guangsheng Yu, Qinghua Lu, Xiwei Xu, Liming Zhu

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

[194] arXiv:2306.08869 (cross-list from cs.CR) [pdf, html, other]

Title: Detecting Misuse of Security APIs: A Systematic Review

Zahra Mousavi, Chadni Islam, M. Ali Babar, Alsharif Abuadbba, Kristen Moore

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

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

Title: Artificial Intelligence for Real Sustainability? -- What is Artificial Intelligence and Can it Help with the Sustainability Transformation?

Rainer Rehak

Comments: 5 pages, DOI of the containing journal is this https URL

Journal-ref: Jankowski, P., H\"ofner, A., Hoffmann, M. L., Rohde, F., Rehak, R. & Graf, J. (Eds.) (2023). Shaping Digital Transformation for a Sustainable Society. Contributions from Bits & B\"aume

Subjects: Computers and Society (cs.CY); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

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

Title: Are ChatGPT and Other Similar Systems the Modern Lernaean Hydras of AI?

Dimitrios Ioannidis, Jeremy Kepner, Andrew Bowne, Harriet S. Bryant

Comments: 40 pages, 100+ references, to appear in Fordham Law Review

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

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

Title: Modularizing while Training: A New Paradigm for Modularizing DNN Models

Binhang Qi, Hailong Sun, Hongyu Zhang, Ruobing Zhao, Xiang Gao

Comments: Accepted at ICSE'24

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

[198] arXiv:2306.09465 (cross-list from nlin.AO) [pdf, other]

Title: Update on the Verification and Validation Efforts for the Stakeholder Tool for Assessing Radioactive Transportation

Harish Gadey, Caitlin Condon, Steven Maheras, Kacey McGee

Comments: Presented at PATRAM 2022 (June 11-15, 2023)

Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Software Engineering (cs.SE)

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

Title: Is Self-Repair a Silver Bullet for Code Generation?

Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama

Comments: Accepted to ICLR 2024. Added additional Code Llama experiments and fixed a data processing error harming Code Llama's reported self-repair performance on HumanEval

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

[200] arXiv:2306.10019 (cross-list from cs.CY) [pdf, html, other]

Title: Ethical Considerations Towards Protestware

Marc Cheong, Raula Gaikovina Kula, Christoph Treude

Comments: Under submission

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