Software Engineering

Authors and titles for June 2022

[1] arXiv:2206.00085 [pdf, other]

Title: Semantically-enhanced Topic Recommendation System for Software Projects

Maliheh Izadi, Mahtab Nejati, Abbas Heydarnoori

Comments: To appear in the Empirical Software Engineering Journal

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

[2] arXiv:2206.00225 [pdf, other]

Title: Can Artificial Intelligence Transform DevOps?

Mamdouh Alenezi, Mohammad Zarour, Mohammad Akour

Subjects: Software Engineering (cs.SE)

[3] arXiv:2206.00253 [pdf, other]

Title: Intelligent UNIT LEVEL TEST Generator for Enhanced Software Quality

Ning Luo, Linlin Zhang

Comments: 10 pages, 6 figures

Journal-ref: 8th International Conference on Software Engineering (SEC 2022)

Subjects: Software Engineering (cs.SE)

[4] arXiv:2206.00421 [pdf, other]

Title: The Use of NLP-Based Text Representation Techniques to Support Requirement Engineering Tasks: A Systematic Mapping Review

Riad Sonbol, Ghaida Rebdawi, Nada Ghneim

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

[5] arXiv:2206.00504 [pdf, other]

Title: helyOS: A customized off-the-shelf solution for autonomous driving applications in delimited areas

Carlos Viol Barbosa, Nikolay Belov, Felix Keppler, Julius Kolb, Gunter Nitzsche, Sebastian Wagner

Journal-ref: IEEE/SICE International Symposium on System Integration (SII) 2023

Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA); Systems and Control (eess.SY)

[6] arXiv:2206.00666 [pdf, other]

Title: Technical Debts and Faults in Open-source Quantum Software Systems: An Empirical Study

Moses Openja, Mohammad Mehdi Morovati, Le An, Foutse Khomh, Mouna Abidi

Subjects: Software Engineering (cs.SE)

[7] arXiv:2206.00699 [pdf, other]

Title: Studying the Practices of Deploying Machine Learning Projects on Docker

Moses Openja, Forough Majidi, Foutse Khomh, Bhagya Chembakottu, Heng Li

Journal-ref: The International Conference on Evaluation and Assessment in Software Engineering 2022 (EASE 2022), June 13--15, 2022, Gothenburg, Sweden

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

[8] arXiv:2206.00804 [pdf, other]

Title: Learning code summarization from a small and local dataset

Toufique Ahmed, Premkumar Devanbu

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

[9] arXiv:2206.01020 [pdf, other]

Title: STORM: A Model for Sustainably Onboarding Software Testers

Tobias Lorey, Stefan Mohacsi, Armin Beer, Michael Felderer

Subjects: Software Engineering (cs.SE)

[10] arXiv:2206.01032 [pdf, other]

Title: A more abstract bounded exploration postulate

Yuri Gurevich, Tatiana Yavorskaya

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

[11] arXiv:2206.01111 [pdf, other]

Title: MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Matteo Paltenghi, Michael Pradel

Comments: Accepted as full paper in the technical track of ICSE 2023

Subjects: Software Engineering (cs.SE)

[12] arXiv:2206.01333 [pdf, other]

Title: Formal Analysis of Lending Pools in Decentralized Finance

Massimo Bartoletti, James Chiang, Tommi Junttila, Alberto Lluch Lafuente, Massimiliano Mirelli, Andrea Vandin

Subjects: Software Engineering (cs.SE)

[13] arXiv:2206.01335 [pdf, other]

Title: Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code

Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel

Comments: 12 pages, 5 figures

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

[14] arXiv:2206.01507 [pdf, other]

Title: Can Requirements Engineering Support Explainable Artificial Intelligence? Towards a User-Centric Approach for Explainability Requirements

Umm-e-Habiba, Justus Bogner, Stefan Wagner

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

[15] arXiv:2206.01848 [pdf, other]

Title: Automated Feedback Generation for Competition-Level Code

Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac

Subjects: Software Engineering (cs.SE)

[16] arXiv:2206.01962 [pdf, other]

Title: Formal Specifications from Natural Language

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

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

[17] arXiv:2206.02083 [pdf, other]

Title: Geometric Theory for Program Testing

Bernhard Moller, Tony Hoare, Zhe Hou, Jin Song Dong

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

[18] arXiv:2206.02207 [pdf, other]

Title: OBAMA, an Ontology-Based Software Tool for Agile Method Adoption

Soreangsey Kiv, Yves Wautelet, Samedi Heng, Manuel Kolp

Subjects: Software Engineering (cs.SE)

[19] arXiv:2206.02277 [pdf, other]

Title: Conceptual Modeling with Constraints

Sabah Al-Fedaghi

Comments: 12 pages, 24 figures

Subjects: Software Engineering (cs.SE)

[20] arXiv:2206.02479 [pdf, other]

Title: Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns

Sophia Saller, Jana Koehler

Comments: 15 pages

Journal-ref: Twentieth International Workshop on Constraint Modelling and Reformulation, ModRef, 2021

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

[21] arXiv:2206.03075 [pdf, other]

Title: A Sequential Metamorphic Testing Framework for Understanding Automated Driving Systems

Quang-Hung Luu, Huai Liu, Tsong Yueh Chen, Hai L. Vu

Comments: 11 pages, 6 figures, 3 tables

Subjects: Software Engineering (cs.SE)

[22] arXiv:2206.03237 [pdf, other]

Title: Blockchain for Business Process Enactment: A Taxonomy and Systematic Literature Review

Fabian Stiehle, Ingo Weber

Comments: Preprint, Accepted at BPM 2022, Blockchain Forum

Journal-ref: Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum. BPM 2022. Lecture Notes in Business Information Processing, vol 459. Springer, Cham

Subjects: Software Engineering (cs.SE)

[23] arXiv:2206.03333 [pdf, other]

Title: Assessing Project-Level Fine-Tuning of ML4SE Models

Egor Bogomolov, Sergey Zhuravlev, Egor Spirin, Timofey Bryksin

Comments: 12 pages, 3 figures

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

[24] arXiv:2206.03545 [pdf, other]

Title: Code-DKT: A Code-based Knowledge Tracing Model for Programming Tasks

Yang Shi, Min Chi, Tiffany Barnes, Thomas Price

Comments: 12 pages, 8 figures, Accepted in EDM 2022

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

[25] arXiv:2206.04024 [pdf, other]

Title: Trace Diagnostics for Signal-based Temporal Properties

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel Briand

Journal-ref: IEEE Transactions on Software Engineering, vol. 49, no. 5, pp. 3131-3154, 1 May 2023

Subjects: Software Engineering (cs.SE)

[26] arXiv:2206.04177 [pdf, other]

Title: Towards Continuous Systematic Literature Review in Software Engineering

Bianca Minetto Napoleão, Fabio Petrillo, Sylvain Hallé, Marcos Kalinowski

Subjects: Software Engineering (cs.SE)

[27] arXiv:2206.04397 [pdf, other]

Title: ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation

Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro

Comments: ACM SIGSOFT International Symposium on Software Testing and Analysis 2022

Subjects: Software Engineering (cs.SE)

[28] arXiv:2206.04462 [pdf, other]

Title: When Traceability Goes Awry: an Industrial Experience Report

Davide Fucci, Emil Alégroth, Thomas Axelsson

Subjects: Software Engineering (cs.SE)

[29] arXiv:2206.04730 [pdf, other]

Title: A Neural Network Architecture for Program Understanding Inspired by Human Behaviors

Renyu Zhu, Lei Yuan, Xiang Li, Ming Gao, Wenyuan Cai

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

[30] arXiv:2206.04744 [pdf, other]

Title: The Developers' Design Thinking Toolbox in Hackathons: A Study on the Recurring Design Methods in Software Development Marathons

Kiev Gama, George Valença, Pedro Alessio, Rafael Formiga, André Neves, Nycolas Lacerda

Comments: To be published in the International Journal of Human-Computer Interaction (Taylor and Francis)

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

[31] arXiv:2206.05397 [pdf, other]

Title: Software Engineering in Australasia

Sherlock A. Licorish, Christoph Treude, John Grundy, Chakkrit Tantithamthavorn, Kelly Blincoe, Stephen MacDonell, Li Li, Jean-Guy Schneider

Comments: Journal article, 1 figure, 3 pages

Journal-ref: Software Engineering in Australasia, SIGSOFT Softw. Eng. Notes 46, 2(April 2021), pp. 16-17

Subjects: Software Engineering (cs.SE)

[32] arXiv:2206.05457 [pdf, other]

Title: Testing Ocean Software with Metamorphic Testing

Quang-Hung Luu, Huai Liu, Tsong Yueh Chen, Hai L. Vu

Comments: 7 pages, 3 tables

Subjects: Software Engineering (cs.SE)

[33] arXiv:2206.05480 [pdf, other]

Title: CodeS: Towards Code Model Generalization Under Distribution Shift

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

Comments: accepted by ICSE'23-NIER

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

[34] arXiv:2206.05494 [pdf, other]

Title: Parallelization of Software Systems Test Case Selection Algorithm Based on Singular Value Decomposition

Mahdi Movahedian Moghaddam

Comments: This research is incomplete and needs to be completed. Once completed, the final version is replaced

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

[35] arXiv:2206.05600 [pdf, other]

Title: Narratives: the Unforeseen Influencer of Privacy Concerns

Ze Shi Li, Manish Sihag, Nowshin Nawar Arony, Joao Bezerra Junior, Thanh Phan, Neil Ernst, Daniela Damian

Comments: 13 pages, to be published in 30th IEEE International Requirements Engineering Conference (RE'22)

Subjects: Software Engineering (cs.SE)

[36] arXiv:2206.05616 [pdf, other]

Title: Is Kernel Code Different From Non-Kernel Code? A Case Study of BSD Family Operating Systems

Gunnar Kudrjavets, Jeff Thomas, Nachiappan Nagappan, Ayushi Rastogi

Comments: 13 pages. To be published in 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022), Oct 3-7, 2022, Limassol, Cyprus

Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)

[37] arXiv:2206.05871 [pdf, other]

Title: Causal Inference-Based Root Cause Analysis for Online Service Systems with Intervention Recognition

Mingjie Li, Zeyan Li, Kanglin Yin, Xiaohui Nie, Wenchi Zhang, Kaixin Sui, Dan Pei

Comments: Accepted at KDD 2022 Applied Data Science Track

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

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

Title: A Live Extensible Ontology of Quality Factors for Textual Requirements

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

Comments: 7 pages, 1 figure, requirements engineering conference

Subjects: Software Engineering (cs.SE)

[39] arXiv:2206.05961 [pdf, other]

Title: A Survey on Automated Driving System Testing: Landscapes and Trends

Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu

Subjects: Software Engineering (cs.SE)

[40] arXiv:2206.06008 [pdf, other]

Title: Towards a Roadmap for Trustworthy Dynamic Systems-of-Systems

Rasmus Adler, Frank Elberzhager, Julien Siebert

Comments: 6 pages, 0 figure, 6 references, preprint, paper accepted to the folowing conference: SERP'22 - The 20th Int'l Conf on Software Engineering Research and Practice (part of the 2022 World Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE'22)) this https URL

Subjects: Software Engineering (cs.SE)

[41] arXiv:2206.06043 [pdf, other]

Title: Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro

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

[42] arXiv:2206.06083 [pdf, other]

Title: Dataset: Dependency Networks of Open Source Libraries Available Through CocoaPods, Carthage and Swift PM

Kristiina Rahkema, Dietmar Pfahl

Comments: 5 pages

Journal-ref: 19th International Conference on Mining Software Repositories (MSR 2022)

Subjects: Software Engineering (cs.SE)

[43] arXiv:2206.06251 [pdf, other]

Title: A Methodology and Software Architecture to Support Explainability-by-Design

Trung Dong Huynh, Niko Tsakalakis, Ayah Helal, Sophie Stalla-Bourdillon, Luc Moreau

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

[44] arXiv:2206.06260 [pdf, other]

Title: OpenCBS: An Open-Source COBOL Defects Benchmark Suite

Dylan Lee, Austin Henley, Bill Hinshaw, Rahul Pandita

Subjects: Software Engineering (cs.SE)

[45] arXiv:2206.06406 [pdf, other]

Title: Consent verification monitoring

Marco Robol, Travis D. Breaux, Elda Paja, Paolo Giorgini

Comments: Accepted 5 October 2021 to ACM Transactions on Software Engineering and Methodology (TOSEM), to appear in print in January 2023 issue

Subjects: Software Engineering (cs.SE)

[46] arXiv:2206.06460 [pdf, other]

Title: MetaTPTrans: A Meta Learning Approach for Multilingual Code Representation Learning

Weiguo Pian, Hanyu Peng, Xunzhu Tang, Tiezhu Sun, Haoye Tian, Andrew Habib, Jacques Klein, Tegawendé F. Bissyandé

Comments: Accepted by AAAI 2023

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

[47] arXiv:2206.06549 [pdf, other]

Title: Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing

Anjana Perera (1) ((1) Faculty of Information Technology, Monash University, Melbourne, Australia)

Comments: 5 pages, 2 figures

Journal-ref: In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE '20), 2020

Subjects: Software Engineering (cs.SE)

[48] arXiv:2206.06550 [pdf, other]

Title: Automated Testing of Image Captioning Systems

Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, Pinjia He

Subjects: Software Engineering (cs.SE)

[49] arXiv:2206.06668 [pdf, other]

Title: Automatic compile-time synthesis of entropy-optimal Boltzmann samplers

Maciej Bendkowski

Comments: Revised content and a new section

Subjects: Software Engineering (cs.SE); Computation (stat.CO)

[50] arXiv:2206.06724 [pdf, other]

Title: Modelling Guidance in Software Engineering: A Systematic Literature Review

Shalini Chakraborty, Grischa Liebel

Comments: Submitted to a journal

Subjects: Software Engineering (cs.SE)