Software Engineering

Authors and titles for cs.SE in Jul 2021, skipping first 75

[76]  arXiv:2107.07485 [pdf, ps, other]

Title: A Hybrid Simulation Model for Open Software Development Processes

Authors: Razieh Saremi

Comments: 172 pages. Copyright of the Dissertation is held by the Author

Subjects: Software Engineering (cs.SE)

[77]  arXiv:2107.07690 [pdf, other]

Title: Applying Declarative Analysis to Software Product Line Models: An Industrial Study

Authors: Ramy Shahin, Robert Hackman, Rafael Toledo, Ramesh S, Joanne M. Atlee, Marsha Chechik

Comments: MODELS'21 pre-print

Subjects: Software Engineering (cs.SE)

[78]  arXiv:2107.07944 [pdf, other]

Title: Satisfaction and Performance of Software Developers during Enforced Work from Home in the COVID-19 Pandemic

Authors: Daniel Russo, Paul H.P. Hanel, Seraphina Altnickel, Niels van Berkel

Comments: arXiv admin note: substantial text overlap with arXiv:2101.04363

Journal-ref: Empirical Software Engineering, 2023

Subjects: Software Engineering (cs.SE)

[79]  arXiv:2107.08038 [pdf, other]

Title: Towards a Benchmark Set for Program Repair Based on Partial Fixes

Authors: Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang

Comments: 9 pages, 5 figures

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

[80]  arXiv:2107.08185 [pdf, ps, other]

Title: Assessing Support for Industry Standards in Reference Medical Software Architectures

Authors: Shihui Han, Roopak Sinha, Andrew Lowe

Comments: Conference paper, 5 pages, 1 figure, 5 tables

Journal-ref: Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society (IECON2020). Singapore, IEEE Computer Society Press, pp.3403-3407

Subjects: Software Engineering (cs.SE)

[81]  arXiv:2107.08262 [pdf, other]

Title: Tea: Program Repair Using Neural Network Based on Program Information Attention Matrix

Authors: Wenshuo Wang, Chen Wu, Liang Cheng, Yang Zhang

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

[82]  arXiv:2107.08344 [pdf, other]

Title: IDEAL: An Open-Source Identifier Name Appraisal Tool

Authors: Anthony Peruma, Venera Arnaoudova, Christian D. Newman

Comments: Accepted at: The 37th International Conference on Software Maintenance and Evolution (ICSME '21)

Subjects: Software Engineering (cs.SE)

[83]  arXiv:2107.08364 [pdf, other]

Title: A Survey on Data-driven Software Vulnerability Assessment and Prioritization

Authors: Triet H. M. Le, Huaming Chen, M. Ali Babar

Comments: Accepted for publication in the ACM Computing Surveys journal (CSUR), 2022

Journal-ref: ACM Comput. Surv., 55, 5 (2022), Article 100

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

[84]  arXiv:2107.08454 [pdf, ps, other]

Title: Multi-objective Test Case Selection Through Linkage Learning-based Crossover

Authors: Mitchell Olsthoorn, Annibale Panichella

Journal-ref: 13th Symposium on Search-Based Software Engineering (SSBSE) 2021

Subjects: Software Engineering (cs.SE); Neural and Evolutionary Computing (cs.NE)

[85]  arXiv:2107.08583 [pdf, other]

Title: Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)

Authors: Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel

Subjects: Software Engineering (cs.SE)

[86]  arXiv:2107.08699 [pdf, other]

Title: Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty

Authors: Fernando Benavides Rodríguez, Laura M. Castro

Comments: 13 pages, 1 figure, 2 tables

Subjects: Software Engineering (cs.SE)

[87]  arXiv:2107.08760 [pdf, other]

Title: CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

Authors: Guru Prasad Bhandari, Amara Naseer, Leon Moonen (Simula Research Laboratory, Norway)

Comments: Accepted for publication in Proceedings of the 17th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE '21), August 19-20, 2021, Athens, Greece

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

[88]  arXiv:2107.08824 [pdf, ps, other]

Title: Verifying a Realistic Mutable Hash Table

Authors: Samuel Chassot, Viktor Kunčak

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

[89]  arXiv:2107.09406 [pdf, other]

Title: A Hybrid Approach to Fine-grained Automated Fault Localization

Authors: Leping Li, Hui Liu

Subjects: Software Engineering (cs.SE)

[90]  arXiv:2107.09512 [pdf, other]

Title: On the Interplay of Smells Large Class, Complex Class and Duplicate Code

Authors: Elder Vicente de Paulo Sobrinho, Marcelo de Almeida Maia

Comments: 10 pages

Journal-ref: Brazilian Symposium on Software Engineering (SBES '21), September 27-October 1, 2021, Joinville, Brazil

Subjects: Software Engineering (cs.SE)

[91]  arXiv:2107.09587 [pdf, other]

Title: A Survey-Based Qualitative Study to Characterize Expectations of Software Developers from Five Stakeholders

Authors: Khalid Hasan, Partho Chakraborty, Rifat Shahriyar, Anindya Iqbal, Gias Uddin

Comments: 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2021 (camera-ready)

Subjects: Software Engineering (cs.SE)

[92]  arXiv:2107.09614 [pdf, other]

Title: Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments

Authors: Christian Birchler, Sajad Khatiri, Pouria Derakhshanfar, Sebastiano Panichella, Annibale Panichella

Subjects: Software Engineering (cs.SE)

[93]  arXiv:2107.09698 [pdf, other]

Title: Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices

Authors: Anup Kalia, Jin Xiao, Rahul Krishna, Saurabh Sinha, Maja Vukovic, Debasish Banerjee

Subjects: Software Engineering (cs.SE)

[94]  arXiv:2107.09753 [pdf, other]

Title: Empowering End-users with Object-aware Processes

Authors: Kevin Andrews, Manfred Reichert

Subjects: Software Engineering (cs.SE)

[95]  arXiv:2107.09936 [pdf, other]

Title: Predicting Issue Types on GitHub

Authors: Rafael Kallis, Andrea Di Sorbo, Gerardo Canfora, Sebastiano Panichella

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

[96]  arXiv:2107.10059 [pdf, other]

Title: Automated Identification of Security Discussions in Microservices Systems: Industrial Surveys and Experiments

Authors: Ali Rezaei Nasab, Mojtaba Shahin, Peng Liang, Mohammad Ehsan Basiri, Seyed Ali Hoseyni Raviz, Hourieh Khalajzadeh, Muhammad Waseem, Amine Naseri

Comments: 24 Pages, Accepted to appear in Journal of Systems and Software (JSS), 2021. Preprint

Subjects: Software Engineering (cs.SE)

[97]  arXiv:2107.10164 [pdf, ps, other]

Title: Automated Refactoring of Legacy JavaScript Code to ES6 Modules

Authors: Katerina Paltoglou, Vassilis E. Zafeiris, N. A. Diamantidis, E. A. Giakoumakis

Comments: Accepted to Journal of Systems and Software

Journal-ref: Journal of Systems and Software 181 (2021)

Subjects: Software Engineering (cs.SE)

[98]  arXiv:2107.10168 [pdf, other]

Title: Towards Using Package Centrality Trend to Identify Packages in Decline

Authors: Suhaib Mujahid, Diego Elias Costa, Rabe Abdalkareem, Emad Shihab, Mohamed Aymen Saied, Bram Adams

Comments: Accepted in the Special Issue on Collaboration and Innovation Dynamics in Software Ecosystems

Journal-ref: IEEE Transactions on Engineering Management Journal (TEM), 2021

Subjects: Software Engineering (cs.SE)

[99]  arXiv:2107.10375 [pdf, ps, other]

Title: The Factors of Code Reviewing Process to Ensure Software Quality

Authors: Shaykh Siddique

Comments: 4 pages, 1 figures. Zenodo (2020)

Subjects: Software Engineering (cs.SE); General Literature (cs.GL)

[100]  arXiv:2107.10544 [pdf, other]

Title: An Empirical Study on Code Comment Completion

Authors: Antonio Mastropaolo, Emad Aghajani, Luca Pascarella, Gabriele Bavota

Comments: Accepted for publication at the 37th International Conference on Software Maintenance and Evolution (ICSME 2021)

Subjects: Software Engineering (cs.SE)

[101]  arXiv:2107.10948 [pdf, ps, other]

Title: Architecture-Guided Test Resource Allocation Via Logic

Authors: Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Comments: 17 pages, 6 figures, author version of the manuscript of the same name published in the proceedings of the 15th International Conference on Tests and Proofs (TAP 2021)

Journal-ref: Lecture Notes in Computer Science book series (LNCS, volume 12740), 2021, pp 22-38

Subjects: Software Engineering (cs.SE)

[102]  arXiv:2107.11273 [pdf, other]

Title: Towards a Human Values Dashboard for Software Development: An Exploratory Study

Authors: Arif Nurwidyantoro, Mojtaba Shahin, Michel Chaudron, Waqar Hussain, Harsha Perera, Rifat Ara Shams, Jon Whittle

Comments: 12 Pages. Accepted to appear in 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Preprint

Subjects: Software Engineering (cs.SE)

[103]  arXiv:2107.11421 [pdf, ps, other]

Title: Testing Pushdown Systems

Authors: Adilson Luiz Bonifacio, Arnaldo Vieira Moura

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

[104]  arXiv:2107.11423 [pdf, other]

Title: Ensemble Models for Neural Source Code Summarization of Subroutines

Authors: Alexander LeClair, Aakash Bansal, Collin McMillan

Comments: ICSME 2021

Subjects: Software Engineering (cs.SE)

[105]  arXiv:2107.11449 [pdf, other]

Title: Applying Inter-rater Reliability and Agreement in Grounded Theory Studies in Software Engineering

Authors: Jessica Díaz, Jorge Pérez, Carolina Gallardo, Ángel González-Prieto

Comments: 20 pages, 5 figures, 8 tables

Subjects: Software Engineering (cs.SE); Methodology (stat.ME)

[106]  arXiv:2107.11933 [pdf, ps, other]

Title: A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction

Authors: Philip Oliver, Michael Homer, Jens Dietrich, Craig Anslow

Comments: Accepted for publication at the 37th International Conference on Software Maintenance and Evolution (ICSME 2021)

Subjects: Software Engineering (cs.SE)

[107]  arXiv:2107.12136 [pdf, other]

Title: The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources Part I. System structure for Complex Systems and Design Principles

Authors: Tihana Galinac Grbac

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

[108]  arXiv:2107.12190 [pdf, other]

Title: Systematic Literature Review of Validation Methods for AI Systems

Authors: Lalli Myllyaho, Mikko Raatikainen, Tomi Männistö, Tommi Mikkonen, Jukka K. Nurminen

Comments: 25 pages, 6 figures, 12 tables. The manuscript has been accepted to the Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[109]  arXiv:2107.12227 [pdf, other]

Title: The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources Part II. Network Evolution and Design Principles

Authors: Tihana Galinac Grbac, Nikola Domazet

Subjects: Software Engineering (cs.SE)

[110]  arXiv:2107.12317 [pdf, other]

Title: Dialogue Management for Interactive API Search

Authors: Zachary Eberhart, Collin McMillan

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

[111]  arXiv:2107.12425 [pdf, other]

Title: Applying Model-Driven Engineering to Stimulate the Adoption of DevOps Processes in Small and Medium-Sized Development Organizations

Authors: Jonas Sorgalla, Philip Wizenty, Florian Rademacher, Sabine Sachweh, Albert Zündorf

Subjects: Software Engineering (cs.SE)

[112]  arXiv:2107.12659 [pdf, ps, other]

Title: Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings

Authors: Anastasiia Tkalich, Nils Brede Moe, Tor Sporsem

Comments: 9 pages, submitted to post-proceedings of XP 2021: International Conference on Agile Software Development - Workshops

Subjects: Software Engineering (cs.SE)

[113]  arXiv:2107.12699 [pdf, other]

Title: A Large-Scale Security-Oriented Static Analysis of Python Packages in PyPI

Authors: Jukka Ruohonen, Kalle Hjerppe, Kalle Rindell

Comments: Proceedings of the 18th Annual International Conference on Privacy, Security and Trust (PST 2021), Auckland (online), IEEE, pp. 1-10

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

[114]  arXiv:2107.12732 [pdf, other]

Title: Towards Black-box Attacks on Deep Learning Apps

Authors: Hongchen Cao, Shuai Li, Yuming Zhou, Ming Fan, Xuejiao Zhao, Yutian Tang

Subjects: Software Engineering (cs.SE)

[115]  arXiv:2107.12772 [pdf, other]

Title: Collaborative Software Modeling in Virtual Reality

Authors: Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels

Comments: preprint, accepted at ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021)

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

[116]  arXiv:2107.12833 [pdf, other]

Title: Development of a NIC driver in C#

Authors: Samuel Chassot

Subjects: Software Engineering (cs.SE)

[117]  arXiv:2107.12850 [pdf, other]

Title: Guidelines on Minimum Standards for Developer Verification of Software

Authors: Paul E. Black, Barbara Guttman, Vadim Okun (National Institute of Standards and Technology)

Comments: 33 pages, 2 figures

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

[118]  arXiv:2107.12938 [pdf, other]

Title: Yet Another Combination of IR- and Neural-based Comment Generation

Authors: Huang Yuchao, Wei Moshi, Wang Song, Wang Junjie, Wang Qing

Subjects: Software Engineering (cs.SE)

[119]  arXiv:2107.13296 [pdf, other]

Title: Predicting Patch Correctness Based on the Similarity of Failing Test Cases

Authors: Haoye Tian, Yinghua Li, Weiguo Pian, Abdoul Kader Kaboré, Kui Liu, Andrew Habib, Jacques Klein, Tegawendé F. Bissyande

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

[120]  arXiv:2107.13315 [pdf, other]

Title: Sorrel: an IDE Plugin for Managing Licenses and Detecting License Incompatibilities

Authors: Dmitry Pogrebnoy, Ivan Kuznetsov, Yaroslav Golubev, Vladislav Tankov, Timofey Bryksin

Comments: 5 pages, 3 figures

Subjects: Software Engineering (cs.SE)

[121]  arXiv:2107.13597 [pdf, ps, other]

Title: SCENARIOTCHECK: A Checklist-based Reading Technique for the Verification of IoT Scenarios

Authors: Bruno Pedraca de Souza, Guilherme Horta Travassos

Comments: Submitted to the Software Engineering Theses and Dissertations Competition (CTD-ES), 2021

Subjects: Software Engineering (cs.SE)

[122]  arXiv:2107.13614 [pdf, other]

Title: Clones in Deep Learning Code: What, Where, and Why?

Authors: Hadhemi Jebnoun, Md Saidur Rahman, Foutse Khomh, Biruk Asmare Muse

Subjects: Software Engineering (cs.SE)

[123]  arXiv:2107.13633 [pdf, ps, other]

Title: Beyond SDLC: Process Modeling and Documentation Using Thinging Machines

Authors: Sabah Al-Fedaghi

Comments: 14 pages, 24 figures

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.21 No.7, pp. 191-204, July 2021

Subjects: Software Engineering (cs.SE)

[124]  arXiv:2107.13687 [pdf, other]

Title: Qualities of Quality: A Tertiary Review of Software Quality Measurement Research

Authors: Kaylea Champion, Sejal Khatri, Benjamin Mako Hill

Subjects: Software Engineering (cs.SE)

[125]  arXiv:2107.13708 [pdf, other]

Title: Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs

Authors: Ellen Arteca, Max Schäfer, Frank Tip

Comments: 19 pages, 6 figures. Accepted and to appear in IEEE TSE

Subjects: Software Engineering (cs.SE)

[126]  arXiv:2107.13723 [pdf, other]

Title: An Empirical Study of Developers' Discussions about Security Challenges of Different Programming Languages

Authors: Roland Croft, Yongzheng Xie, Mansooreh Zahedi, M. Ali Babar, Christoph Treude

Comments: To be published in EMSE

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

[127]  arXiv:2107.14096 [pdf, ps, other]

Title: A Pairwise T-Way Test Suite Generation Strategy Using Gravitational Search Algorithm

Authors: Khin Maung Htay, Rozmie Razif Othman, Amiza Amir, Hasneeza Liza Zakaria, Nuraminah Ramli

Comments: Accepted for publication in IEEE Xplore Subject: International Conference on Artificial Intelligence and Computer Science Technology(ICAICST 2021), 6 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[128]  arXiv:2107.14272 [pdf, ps, other]

Title: Distributed Smart Measurement Architecture for Industrial Automation

Authors: Paolo Azzoni, Gianfranco Caminale, Marco Carratù, Salvatore Dello Iacono, Giuseppe Fenza, Nicola Gallo, Consolatina Liguori, Elisa Londero, Antonio Pietrosanto, Nicolo Rebella

Subjects: Software Engineering (cs.SE)

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

Title: Latent Execution for Neural Program Synthesis

Authors: Xinyun Chen, Dawn Song, Yuandong Tian

Comments: Published in NeurIPS 2021

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

[130]  arXiv:2107.00613 (cross-list from cs.PL) [pdf, ps, other]

Title: EqFix: Fixing LaTeX Equation Errors by Examples

Authors: Fengmin Zhu, Fei He

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

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

Title: Implicit Gender Bias in Computer Science -- A Qualitative Study

Authors: Aurélie Breidenbach, Caroline Mahlow, Andreas Schreiber

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

[132]  arXiv:2107.01965 (cross-list from cs.DB) [pdf, other]

Title: Managing Knowledge in Energy Data Spaces

Authors: Valentina Janev, Maria-Esther Vidal, Kemele Endris, Dea Pujic

Comments: Based on the article Valentina Janev, Maria-Esther Vidal, Kemele M. Endris, Dea Pujic: Managing Knowledge in Energy Data Spaces. WWW (Companion Volume) 2021: 7-15

Subjects: Databases (cs.DB); Software Engineering (cs.SE)

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

Title: An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps

Authors: Roshan Namal Rajapakse, Mansooreh Zahedi, Muhammad Ali Babar

Comments: [v3] Camera-ready version (with a few improvements)

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

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

Title: Bootstrapping Generalization of Process Models Discovered From Event Data

Authors: Artem Polyvyanyy, Alistair Moffat, Luciano García-Bañuelos

Comments: 16 pages

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

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

Title: Parallel and Multi-Objective Falsification with Scenic and VerifAI

Authors: Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia

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

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

Title: HOMRS: High Order Metamorphic Relations Selector for Deep Neural Networks

Authors: Florian Tambon, Giulio Antoniol, Foutse Khomh

Comments: 33 pages

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

[137]  arXiv:2107.05493 (cross-list from cs.LO) [pdf, other]

Title: Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant

Authors: Nicolas Magaud (ICube - Université de Strasbourg)

Comments: In Proceedings PxTP 2021, arXiv:2107.01544

Journal-ref: EPTCS 336, 2021, pp. 40-47

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

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

Title: Teaching Design by Contract using Snap!

Authors: Marieke Huisman, Raúl E. Monti

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

[139]  arXiv:2107.05761 (cross-list from cs.MS) [pdf, other]

Title: Faster Math Functions, Soundly

Authors: Ian Briggs, Pavel Panchekha

Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)

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

Title: Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform

Authors: Artyom Lobanov, Timofey Bryksin, Alexey Shpilman

Comments: 5 pages, 2 figures

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

[141]  arXiv:2107.06260 (cross-list from cs.RO) [pdf, other]

Title: OpenCDA:An Open Cooperative Driving Automation Framework Integrated with Co-Simulation

Authors: Runsheng Xu, Yi Guo, Xu Han, Xin Xia, Hao Xiang, Jiaqi Ma

Comments: Accepted by ITSC2021

Journal-ref: 2021 IEEE Intelligent Transportation Systems Conference (ITSC)

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[142]  arXiv:2107.06664 (cross-list from cs.OH) [pdf, ps, other]

Title: EnergySaver Software Manual

Authors: Davi Guimarães da Silva, Marla Teresinha Barbosa Geller, Dalton Felipe Silva Varão, João Bentes, Mauro Sérgio dos Santos Moura, Yasmin Braga Teixeira, Clayton André Maia dos Santos, Anderson Alvarenga de Moura Meneses

Comments: 8 pages, in Portuguese, 21 figures

Subjects: Other Computer Science (cs.OH); Software Engineering (cs.SE)

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

Title: Opportunities and challenges of Blockchain-Oriented systems in the tourism industry

Authors: Fabio Caddeo, Andrea Pinna

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

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

Title: DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search

Authors: Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella

Comments: To be published in Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21), July 11-17, 2021, Virtual, Denmark. ACM, New York, NY, USA, 12 pages

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

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

Title: Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques

Authors: Amit Seal Ami, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni

Comments: 18 pages, 2 figures, 2 tables; paper published at 2022 IEEE Symposium on Security and Privacy (S&P)

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

[146]  arXiv:2107.07217 (cross-list from cs.NI) [pdf, other]

Title: Dynamic Link Network Emulation: a Model-based Design

Authors: Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache

Comments: 8 pages, as submitted to the 17th International Conference on Evaluation of Novel Approaches to Software Engineering

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

[147]  arXiv:2107.07255 (cross-list from eess.SY) [pdf, other]

Title: PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices

Authors: Kevin Weiss, Michel Rottleuthner, Thomas C. Schmidt, Matthias Wählisch

Journal-ref: ACM Transactions on Embedded Computing Systems, Volume 20, Issue 5s, 2021

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

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

Title: LeanML: A Design Pattern To Slash Avoidable Wastes in Machine Learning Projects

Authors: Yves-Laurent Kom Samo

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

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

Title: Declarative Machine Learning Systems

Authors: Piero Molino, Christopher Ré

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

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

Title: CGuard: Efficient Spatial Safety for C

Authors: Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh

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

[151]  arXiv:2107.10675 (cross-list from cs.DS) [pdf, other]

Title: Theory and Practice of Algorithm Engineering

Authors: Jan Mendling, Benoît Depaire, Henrik Leopold

Subjects: Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)

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

Title: Estimating Predictive Uncertainty Under Program Data Distribution Shift

Authors: Yufei Li, Simin Chen, Wei Yang

Comments: 12 pages, 3 figures

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

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

Title: How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review

Authors: Florian Tambon, Gabriel Laberge, Le An, Amin Nikanjam, Paulina Stevia Nouwou Mindom, Yann Pequignot, Foutse Khomh, Giulio Antoniol, Ettore Merlo, François Laviolette

Comments: 60 pages (92 pages with references and complements), submitted to a journal (Automated Software Engineering). Changes: Emphasizing difference traditional software engineering / ML approach. Adding Related Works, Threats to Validity and Complementary Materials. Adding a table listing papers reference for each section/subsections

Journal-ref: Autom Softw Eng 29, 38 (2022)

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

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

Title: MLDev: Data Science Experiment Automation and Reproducibility Software

Authors: Anton Khritankov, Nikita Pershin, Nikita Ukhov, Artem Ukhov

Comments: 11 pages, 2 figures

Journal-ref: DAMDID/RCDL-2021, CCIS vol. 1620 (2022), Springer Cham, 3-18

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

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

Title: From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware

Authors: Wenqiang Li, Le Guan, Jingqiang Lin, Jiameng Shi, Fengjun Li

Comments: 18 pages, 4 figures, Network and Distributed Systems Security (NDSS) Symposium 2021

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

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

Title: A Case Study on the Stability of Performance Tests for Serverless Applications

Authors: Simon Eismann, Diego Elias Costa, Lizhi Liao, Cor-Paul Bezemer, Weiyi Shang, André van Hoorn, Samuel Kounev

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

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

Title: XFL: Naming Functions in Binaries with Extreme Multi-label Learning

Authors: James Patrick-Evans, Moritz Dannehl, Johannes Kinder

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

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

Title: Models of Computational Profiles to Study the Likelihood of DNN Metamorphic Test Cases

Authors: Ettore Merlo, Mira Marhaba, Foutse Khomh, Houssem Ben Braiek, Giuliano Antoniol

Comments: 9 pages (10 pages with ref.)

Journal-ref: Published in iMLSE 2020 2nd International Workshop on Machine Learning Systems Engineering https://sig-mlse.wixsite.com/imlse2020

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

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

Title: Concept for a Technical Infrastructure for Management of Predictive Models in Industrial Applications

Authors: Florian Bachinger, Gabriel Kronberger

Comments: International Conference on Computer Aided Systems Theory, Eurocast 2019, pp 263-270

Journal-ref: In: Moreno-D\'iaz R. et al (eds) Computer Aided Systems Theory. Lecture Notes in Computer Science, Vol. 12013 (2020)

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

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

Title: A Decision Model for Decentralized Autonomous Organization Platform Selection: Three Industry Case Studies

Authors: Elena Baninemeh (1), Siamak Farshidi (2), Slinger Jansen (1) ((1) Department of Information and Computer Science at Utrecht University, Utrecht, the Netherlands, (2) Informatics Institute at University of Amsterdam, Amsterdam, the Netherlands)

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

[161]  arXiv:2107.14142 (cross-list from cs.CR) [pdf, ps, other]

Title: Zero-knowledge Based Proof-chain -- A methodology for blockchain-partial system

Authors: Yuqi Bai, Lei Luo

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