Software Engineering

Authors and titles for cs.SE in Jun 2022

[1]  arXiv:2206.00085 [pdf, other]

Title: Semantically-enhanced Topic Recommendation System for Software Projects

Authors: 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, ps, other]

Title: Can Artificial Intelligence Transform DevOps?

Authors: Mamdouh Alenezi, Mohammad Zarour, Mohammad Akour

Subjects: Software Engineering (cs.SE)

[3]  arXiv:2206.00253 [pdf, ps, other]

Title: Intelligent UNIT LEVEL TEST Generator for Enhanced Software Quality

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: Toufique Ahmed, Premkumar Devanbu

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

[9]  arXiv:2206.01020 [pdf, ps, other]

Title: STORM: A Model for Sustainably Onboarding Software Testers

Authors: Tobias Lorey, Stefan Mohacsi, Armin Beer, Michael Felderer

Subjects: Software Engineering (cs.SE)

[10]  arXiv:2206.01032 [pdf, ps, other]

Title: A more abstract bounded exploration postulate

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: Soreangsey Kiv, Yves Wautelet, Samedi Heng, Manuel Kolp

Subjects: Software Engineering (cs.SE)

[19]  arXiv:2206.02277 [pdf, ps, other]

Title: Conceptual Modeling with Constraints

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel Briand

Subjects: Software Engineering (cs.SE)

[26]  arXiv:2206.04177 [pdf, other]

Title: Towards Continuous Systematic Literature Review in Software Engineering

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: Software Engineering in Australasia

Authors: 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, ps, other]

Title: Testing Ocean Software with Metamorphic Testing

Authors: 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, ps, other]

Title: CodeS: Towards Code Model Generalization Under Distribution Shift

Authors: 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 [src]

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

Authors: 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

Authors: 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

Authors: 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

Authors: 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, other]

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

Authors: 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

Authors: 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, ps, other]

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

Authors: 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

Authors: 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, ps, other]

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

Authors: 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, ps, other]

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

Authors: 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

Authors: Dylan Lee, Austin Henley, Bill Hinshaw, Rahul Pandita

Subjects: Software Engineering (cs.SE)

[45]  arXiv:2206.06406 [pdf, ps, other]

Title: Consent verification monitoring

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: Shalini Chakraborty, Grischa Liebel

Comments: Submitted to a journal

Subjects: Software Engineering (cs.SE)