Software Engineering

Authors and titles for September 2022

[1] arXiv:2209.00162 [pdf, other]

Title: Prioritization of Metamorphic Relations to reduce the cost of testing

Madhusudan Srinivasan, Upulee Kanewala

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

Subjects: Software Engineering (cs.SE)

[2] arXiv:2209.00357 [pdf, other]

Title: Testing Causality in Scientific Modelling Software

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner

Subjects: Software Engineering (cs.SE)

[3] arXiv:2209.00366 [pdf, other]

Title: How to Evaluate Explainability? -- A Case for Three Criteria

Timo Speith

Comments: Accepted at the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES) co-located with the 30th IEEE International Requirements Engineering Conference (RE'22)

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

[4] arXiv:2209.00393 [pdf, other]

Title: Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing

Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu

Comments: 11 pages, ASE2022

Subjects: Software Engineering (cs.SE)

[5] arXiv:2209.00398 [pdf, other]

Title: End-to-End Rationale Reconstruction

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Journal-ref: ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering 2022

Subjects: Software Engineering (cs.SE)

[6] arXiv:2209.00437 [pdf, other]

Title: Agile Effort Estimation: Have We Solved the Problem Yet? Insights From A Second Replication Study (GPT2SP Replication Report)

Vali Tawosi, Rebecca Moussa, Federica Sarro

Comments: Report

Subjects: Software Engineering (cs.SE)

[7] arXiv:2209.00538 [pdf, other]

Title: Predictive Semantics for Past-CTL Runtime Monitors

Giorgio Audrito, Volker Stolz, Gianluca Torta

Comments: Presented at VORTEX'22

Subjects: Software Engineering (cs.SE)

[8] arXiv:2209.00649 [pdf, other]

Title: Addressing Hidden Imperfections in Online Experimentation

Jeffrey Wong, Jasmine Nettiksimmons, Jiannan Lu, Katherine Livins

Comments: Presented at CODE@MIT 2021

Subjects: Software Engineering (cs.SE)

[9] arXiv:2209.00844 [pdf, other]

Title: Developer Discussion Topics on the Adoption and Barriers of Low Code Software Development Platforms

Md Abdullah Al Alamin, Gias Uddin, Sanjay Malakar, Sadia Afroz, Tameem Bin Haider, Anindya Iqbal

Subjects: Software Engineering (cs.SE)

[10] arXiv:2209.01098 [pdf, other]

Title: How Developers Extract Functions: An Experiment

Alexey Braver, Dror G. Feitelson

Comments: 11 pages with 7 figures and 1 table

Subjects: Software Engineering (cs.SE)

[11] arXiv:2209.01244 [pdf, other]

Title: FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures

Ashwin Kallingal Joshy, Wei Le

Comments: In 37th IEEE/ACM International Conference on Automated Software Engineering, October 10 to 14, 2022, Rochester, MI, USA. 12 pages

Subjects: Software Engineering (cs.SE)

[12] arXiv:2209.01473 [pdf, other]

Title: Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems

Carsten Wiecher, Constantin Mandel, Matthias Günther, Jannik Fischbach, Joel Greenyer, Matthias Greinert, Carsten Wolff, Roman Dumitrescu, Daniel Mendez, Albert Albers

Subjects: Software Engineering (cs.SE)

[13] arXiv:2209.01518 [pdf, other]

Title: An Empirical Study of Automation in Software Security Patch Management

Nesara Dissanayake, Asangi Jayatilaka, Mansooreh Zahedi, Muhammad Ali Babar

Comments: 13 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[14] arXiv:2209.01546 [pdf, other]

Title: Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems

Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang

Subjects: Software Engineering (cs.SE)

[15] arXiv:2209.01549 [pdf, html, other]

Title: The Broken Windows Theory Applies to Technical Debt

William Levén, Hampus Broman, Terese Besker, Richard Torkar

Comments: Submitted to Empirical Software Engineering

Subjects: Software Engineering (cs.SE)

[16] arXiv:2209.01566 [pdf, other]

Title: Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables

Jian Gu, Harald C. Gall

Comments: 5 pages, 3 figures, 2 tables, accepted by ESEC/FSE 2023, the camera-ready version

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

[17] arXiv:2209.01734 [pdf, other]

Title: Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery

Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed, Patrick Mäder, Guoping Rong, Dong Shao, He Zhang

Comments: Accepted by the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)

Subjects: Software Engineering (cs.SE)

[18] arXiv:2209.01741 [pdf, other]

Title: A repository of automatic GUI test patterns in Android applications: Specification and Analysis using Alloy modeling language

Fatemeh Mosayeb, Shohreh Ajoudanian

Comments: 18 pages, 19 figures

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

[19] arXiv:2209.01766 [pdf, other]

Title: Exploring the Verifiability of Code Generated by GitHub Copilot

Dakota Wong, Austin Kothig, Patrick Lam

Comments: HATRA workshop at SPLASH 2022

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

[20] arXiv:2209.01817 [pdf, other]

Title: An Exploratory Study on the Predominant Programming Paradigms in Python Code

Robert Dyer, Jigyasa Chauhan

Comments: Accepted to the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)

Subjects: Software Engineering (cs.SE)

[21] arXiv:2209.01993 [pdf, other]

Title: Aspects of Modelling Requirements in Very-Large Agile Systems Engineering

Grischa Liebel, Eric Knauss

Subjects: Software Engineering (cs.SE)

[22] arXiv:2209.02189 [pdf, other]

Title: Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer

Subjects: Software Engineering (cs.SE)

[23] arXiv:2209.02222 [pdf, other]

Title: Understanding Skills for OSS Communities on GitHub

Jenny T. Liang, Thomas Zimmermann, Denae Ford

Subjects: Software Engineering (cs.SE)

[24] arXiv:2209.02235 [pdf, other]

Title: Automatic Code Documentation Generation Using GPT-3

Junaed Younus Khan, Gias Uddin

Comments: Accepted in IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) - NIER

Subjects: Software Engineering (cs.SE)

[25] arXiv:2209.02575 [pdf, other]

Title: Towards Understanding Third-party Library Dependency in C/C++ Ecosystem

Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu

Comments: ASE 2022

Subjects: Software Engineering (cs.SE)

[26] arXiv:2209.02577 [pdf, other]

Title: Avgust: Automating Usage-Based Test Generation from Videos of App Executions

Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran

Journal-ref: ESEC/FSE 2022

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

[27] arXiv:2209.02610 [pdf, other]

Title: A perspective to navigate the National Laboratory environment for RSE career growth

William F Godoy

Comments: 2 pages, paper presented at the RSE-HPC workshop this https URL , part of Supercomputing 2022 this https URL

Subjects: Software Engineering (cs.SE)

[28] arXiv:2209.02930 [pdf, other]

Title: Reflections on Software Failure Analysis

Paschal C. Amusuo (1), Aishwarya Sharma (1), Siddharth R. Rao (1), Abbey Vincent (1), James C. Davis (1) ((1) Purdue University, USA)

Comments: 6 pages, 4 figures To be published in: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22)

Subjects: Software Engineering (cs.SE)

[29] arXiv:2209.03069 [pdf, other]

Title: A Review on the Process of Automated Software Testing

Durga Shree N, Sree Dharinya S, Dasari Vijayasree, Nadendla Sai Roopa, Anugu Arun

Comments: 7 pages, 2 figures, 2 tables

Subjects: Software Engineering (cs.SE)

[30] arXiv:2209.03198 [pdf, other]

Title: When Are Names Similar Or the Same? Introducing the Code Names Matcher Library

Moshe Munk, Dror G. Feitelson

Comments: 20 pages. Download from this https URL

Subjects: Software Engineering (cs.SE)

[31] arXiv:2209.03230 [pdf, other]

Title: AutoPruner: Transformer-Based Call Graph Pruning

Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D. Le, Huynh Quyet Thang

Comments: Accepted to ESEC/FSE 2022, Research Track

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

[32] arXiv:2209.03311 [pdf, other]

Title: SZZ in the time of Pull Requests

Fernando Petrulio, David Ackermann, Enrico Fregnan, Gül Calikli, Marco Castelluccio, Sylvestre Ledru, Calixte Denizet, Emma Humphries, Alberto Bacchelli

Subjects: Software Engineering (cs.SE)

[33] arXiv:2209.03345 [pdf, other]

Title: Data Leakage in Notebooks: Static Detection and Better Processes

Chenyang Yang, Rachel A Brower-Sinning, Grace A. Lewis, Christian Kästner

Subjects: Software Engineering (cs.SE)

[34] arXiv:2209.03507 [pdf, other]

Title: So Much in So Little: Creating Lightweight Embeddings of Python Libraries

Yaroslav Golubev, Egor Bogomolov, Egor Bulychev, Timofey Bryksin

Comments: The work was carried out at the end of 2020. 11 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[35] arXiv:2209.03516 [pdf, other]

Title: Relationship between Gender and Code Reading Speed in Software Development

Yuriko Takatsuka, Yukasa Murakami, Masateru Tsunoda, Masahide Nakamura

Comments: Japanese letter version is available at: this https URL

Subjects: Software Engineering (cs.SE)

[36] arXiv:2209.03518 [pdf, other]

Title: Analyzing and Calibrating Risk Assessment by Software Developers

Yukasa Murakami, Masateru Tsunoda, Eduardo C. Campos

Comments: Japanese letter version is available at: this https URL

Subjects: Software Engineering (cs.SE)

[37] arXiv:2209.03558 [pdf, other]

Title: Automated Validation of Insurance Applications against Calculation Specifications

Advaita Datar, Amey Zare, Asia A, R Venkatesh, Shrawan Kumar, Ulka Shrotri

Comments: 6 pages, 3 figures, 3 tables, 1 algorithm code block, accepted for publication at ISSRE 2022 (industrial track)

Subjects: Software Engineering (cs.SE)

[38] arXiv:2209.03815 [pdf, other]

Title: Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution

Tareq Mohammed Nazir, Martin Pinzger

Subjects: Software Engineering (cs.SE)

[39] arXiv:2209.03958 [pdf, other]

Title: The Science Gateway Community Institute's Consulting Services Program: Lessons for Research Software Engineering Organizations

Marlon Pierce, Michael Zentner, Maytal Dahan, Sandra Gesing, Claire Stirm, Linda Bailey Hayden

Comments: 3 pages, no figures

Subjects: Software Engineering (cs.SE)

[40] arXiv:2209.04052 [pdf, other]

Title: Early Verification of Legal Compliance via Bounded Satisfiability Checking

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

Subjects: Software Engineering (cs.SE)

[41] arXiv:2209.04290 [pdf, other]

Title: Conformance Checking for Trace Fragments Using Infix and Postfix Alignments

Daniel Schuster, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst

Subjects: Software Engineering (cs.SE)

[42] arXiv:2209.04376 [pdf, other]

Title: Challenges of Implementing Agile Processes in Remote-First Companies

Lulit Asfaw (College of Computing and Software Engineering, Kennesaw State University, Marietta, GA, USA), Mikael Clemmons (College of Computing and Software Engineering, Kennesaw State University, Marietta, GA, USA), Cody Hayes (College of Computing and Software Engineering, Kennesaw State University, Marietta, GA, USA), Elise Letnaunchyn (College of Computing and Software Engineering, Kennesaw State University, Marietta, GA, USA), Elnaz Rabieinejad (Cyber Science Lab, School of Computer Science, University of Guelph, Ontario, Canada)

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

[43] arXiv:2209.04511 [pdf, other]

Title: Pitfalls and Guidelines for Using Time-Based Git Data

Samuel W. Flint, Jigyasa Chauhan, Robert Dyer

Comments: Accepted for publication in Empirical Software Engineering (EMSE). arXiv admin note: substantial text overlap with arXiv:2103.11339

Subjects: Software Engineering (cs.SE)

[44] arXiv:2209.04602 [pdf, other]

Title: Code Compliance Assessment as a Learning Problem

Neela Sawant, Srinivasan H. Sengamedu

Comments: this http URL, 2022

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

[45] arXiv:2209.04661 [pdf, other]

Title: Mask-Mediator-Wrapper architecture as a Data Mesh driver

Juraj Dončević, Krešimir Fertalj, Mario Brčić, Mihael Kovač

Subjects: Software Engineering (cs.SE)

[46] arXiv:2209.04791 [pdf, other]

Title: Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen, Xiaohong Li, Yang Liu

Comments: 13 pages, 8 figures, ASE 2022

Subjects: Software Engineering (cs.SE)

[47] arXiv:2209.04860 [pdf, other]

Title: Using Quantum Computers to Speed Up Dynamic Testing of Software

Andriy Miranskyy

Comments: To appear in Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering (QP4SE '22), November 18, 2022, Singapore

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

[48] arXiv:2209.04916 [pdf, other]

Title: Formal Semantics of the Kconfig Language

Steven She, Thorsten Berger

Comments: Technical Note, Department of Electrical and Computer Engineering, University of Waterloo, Canada

Subjects: Software Engineering (cs.SE)

[49] arXiv:2209.05052 [pdf, other]

Title: Software Resurrection: Discovering Programming Pearls by Showing Modernity to Historical Software

Abhishek Dutta

Comments: More software resurrection exercises are available at this https URL

Subjects: Software Engineering (cs.SE)

[50] arXiv:2209.05092 [pdf, other]

Title: A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications

Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano

Subjects: Software Engineering (cs.SE)