Software Engineering

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

[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)