Software Engineering

Authors and titles for December 2021

[1] arXiv:2112.00646 [pdf, other]

Title: Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance

Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang

Comments: Preprint Accepted by ACM Transactions on Embedded Computing Systems

Journal-ref: ACM Transactions on Embedded Computing Systems; 2022

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

[2] arXiv:2112.00699 [pdf, other]

Title: BERT_SE: A Pre-trained Language Representation Model for Software Engineering

Eliane Maria De Bortoli Fávero, Dalcimar Casanova

Journal-ref: In D. C. Wyld and D. Nagamalai (Ed.), NLPTA 2021. v.11, n.19, 2021, 115-130

Subjects: Software Engineering (cs.SE)

[3] arXiv:2112.00858 [pdf, other]

Title: Common Bugs in Scratch Programs

Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser

Comments: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education (pp. 89-95)

Subjects: Software Engineering (cs.SE)

[4] arXiv:2112.00964 [pdf, other]

Title: A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation

Ziyuan Zhong, Yun Tang, Yuan Zhou, Vania de Oliveira Neves, Yang Liu, Baishakhi Ray

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

[5] arXiv:2112.01218 [pdf, other]

Title: GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses

Wei Ma, Mengjie Zhao, Ezekiel Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[6] arXiv:2112.01259 [pdf, other]

Title: Borrowing from Similar Code: A Deep Learning NLP-Based Approach for Log Statement Automation

Sina Gholamian, Paul A. S. Ward

Comments: 27 pages

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

[7] arXiv:2112.01315 [pdf, other]

Title: A Generator Framework For Evolving Variant-Rich Software

Christoph Derks, Daniel Strüber, Thorsten Berger

Comments: 9 pages, 5 figures

Subjects: Software Engineering (cs.SE)

[8] arXiv:2112.01317 [pdf, other]

Title: Monolith to Microservices: Representing Application Software through Heterogeneous Graph Neural Network

Alex Mathai, Sambaran Bandyopadhyay, Utkarsh Desai, Srikanth Tamilselvam

Comments: The paper has been accepted for publication at IJCAI-ECAI 2022 (main research track)

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

[9] arXiv:2112.01538 [pdf, other]

Title: Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach

Yeshayahu Weiss

Comments: 31 pages, 7 figures

Subjects: Software Engineering (cs.SE)

[10] arXiv:2112.01581 [pdf, other]

Title: On the Documentation of Refactoring Types

Eman Abdullah AlOmar, Jiaqian Liu, Kenneth Addo, Mohamed Wiem Mkaouer, Christian Newman, Ali Ouni, Zhe Yu

Comments: arXiv admin note: text overlap with arXiv:2009.09279

Subjects: Software Engineering (cs.SE)

[11] arXiv:2112.01590 [pdf, other]

Title: The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large

Sumon Biswas, Mohammad Wardat, Hridesh Rajan

Journal-ref: ICSE 2022: The 44th International Conference on Software Engineering

Subjects: Software Engineering (cs.SE)

[12] arXiv:2112.01598 [pdf, other]

Title: What Not to Test (for Cyber-Physical Systems)

Xiao Ling, Tim Menzies

Comments: 17 pages, 5 figures, 7 tables. Accepted by TSE

Subjects: Software Engineering (cs.SE)

[13] arXiv:2112.01635 [pdf, other]

Title: A Grounded Theory Based Approach to Characterize Software Attack Surfaces

Sara Moshtari, Ahmet Okutan, Mehdi Mirakhorli

Comments: This paper has been accepted in the IEEE/ACM International Conference on Software Engineering (ICSE 2022) and is going to be published. Please feel free to cite it

Subjects: Software Engineering (cs.SE)

[14] arXiv:2112.01644 [pdf, other]

Title: Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures

Alvine B. Belle, Ghizlane El Boussaidi, Timothy C. Lethbridge, Segla Kpodjedo, Hafedh Mili, Andres Paz

Comments: 30 pages

Subjects: Software Engineering (cs.SE)

[15] arXiv:2112.01771 [pdf, other]

Title: Understanding Performance Problems in Deep Learning Systems

Junming Cao, Bihuan Chen, Chao Sun, Longjie Hu, Shuaihong Wu, Xin Peng

Comments: Has been accepted by ESEC/FSE 2022

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

[16] arXiv:2112.02043 [pdf, other]

Title: Multilingual training for Software Engineering

Toufique Ahmed, Premkumar Devanbu

Comments: Accepted at International Conference on Software Engineering (ICSE-2022)

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

[17] arXiv:2112.02240 [pdf, other]

Title: Tracking Patches for Open Source Software Vulnerabilities

Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu

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

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

[18] arXiv:2112.02268 [pdf, other]

Title: Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding

Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao

Comments: Accepted to the 44th International Conference on Software Engineering (ICSE 2022)

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

[19] arXiv:2112.02650 [pdf, other]

Title: VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning

Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues

Comments: Accepted by ICSE 2022

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

[20] arXiv:2112.02758 [pdf, other]

Title: A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest

Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh

Comments: 4 pages, ICSE '22 (tool demo track)

Journal-ref: International Conference on Software Engineering, ICSE 2022. ACM/IEEE, ACM, May 2022

Subjects: Software Engineering (cs.SE)

[21] arXiv:2112.02807 [pdf, other]

Title: MDPFuzz: Testing Models Solving Markov Decision Processes

Qi Pang, Yuanyuan Yuan, Shuai Wang

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

[22] arXiv:2112.02819 [pdf, other]

Title: Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications

Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang

Comments: This is the author version. The DOI of the published version is this http URL. Please see the full abstract in the pdf

Journal-ref: ACM Transactions on Software Engineering and Methodology, 2023

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

[23] arXiv:2112.02963 [pdf, other]

Title: Hyperstyle: A Tool for Assessing the Code Quality of Solutions to Programming Assignments

Anastasiia Birillo, Ilya Vlasov, Artyom Burylov, Vitalii Selishchev, Artyom Goncharov, Elena Tikhomirova, Nikolay Vyahhi, Timofey Bryksin

Comments: 7 pages, 3 figures

Subjects: Software Engineering (cs.SE)

[24] arXiv:2112.02969 [pdf, other]

Title: Jigsaw: Large Language Models meet Program Synthesis

Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma

Comments: Accepted to ICSE'22

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

[25] arXiv:2112.03395 [pdf, other]

Title: Manas: Mining Software Repositories to Assist AutoML

Giang Nguyen, Md Johir Islam, Rangeet Pan, Hridesh Rajan

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

[26] arXiv:2112.03426 [pdf, other]

Title: A Survey of Verification, Validation and Testing Solutions for Smart Contracts

Chaïmaa Benabbou, Önder Gürcan

Comments: 8 pages, 3 tables, The Third IEEE International Conference on Blockchain Computing and Applications (BCCA 2021)

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

[27] arXiv:2112.03619 [pdf, other]

Title: IntelliTC: Automating Type Changes in IntelliJ IDEA

Oleg Smirnov, Ameya Ketkar, Timofey Bryksin, Nikolaos Tsantalis, Danny Dig

Comments: 5 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[28] arXiv:2112.04036 [pdf, other]

Title: DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs

Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan

Comments: Accepted at ICSE 2022

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

[29] arXiv:2112.04128 [pdf, other]

Title: GIFdroid: Automated Replay of Visual Bug Reports for Android Apps

Sidong Feng, Chunyang Chen

Comments: Accepted to 44th International Conference on Software Engineering (ICSE 2022)

Subjects: Software Engineering (cs.SE)

[30] arXiv:2112.04251 [pdf, other]

Title: FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller

Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan

Comments: 22 pages, 3 figures

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

[31] arXiv:2112.04374 [pdf, other]

Title: Dependability Engineering in Isabelle

Florian Kammüller

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

[32] arXiv:2112.04384 [pdf, other]

Title: Reproducing software environments: a prerequisite for reproducible research

Ludovic Courtès (SED)

Comments: in French

Journal-ref: 1024 : Bulletin de la Soci{\'e}t{\'e} Informatique de France, Soci{\'e}t{\'e} Informatique de France, 2021, pp.15-22

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

[33] arXiv:2112.04778 [pdf, other]

Title: Justifying the Dependability and Security of Business-Critical Blockchain-based Applications

Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci-Piergiovanni, Önder Gürcan

Comments: 8 pages, 6 figures, The Third IEEE International Conference on Blockchain Computing and Applications (BCCA 2021)

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[34] arXiv:2112.04919 [pdf, other]

Title: A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests

Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[35] arXiv:2112.05358 [pdf, other]

Title: MOBAFS: A Multi Objective Bee Algorithm for Feature subset selection in Software Product Lines

Nahid Hajizadeh, Peyman Jahanbazi, Reza Akbari

Subjects: Software Engineering (cs.SE)

[36] arXiv:2112.05411 [pdf, other]

Title: Compositional Test Generation of Industrial Synchronous Systems

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

Comments: 22 pages, 5 figures, 2 tables. Rejected from VMCAI 2021

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

[37] arXiv:2112.05528 [pdf, other]

Title: Improving Productivity through Corporate Hackathons: A Multiple Case Study of Two Large-scale Agile Organizations

Nils Brede Moe, Rasmus Ulfsnes, Viktoria Stray, Darja Smite

Comments: Accepted to HICCS-55

Subjects: Software Engineering (cs.SE)

[38] arXiv:2112.05549 [pdf, other]

Title: Combining Design Thinking and Software Requirements Engineering to create Human-centered Software-intensive Systems

Jennifer Hehn, Daniel Mendez

Comments: Introductory chapter to the edited book on "Design Thinking for Software Engineering - Creating Human-oriented Software- intensive Products and Services". To appear in 2022

Subjects: Software Engineering (cs.SE)

[39] arXiv:2112.05567 [pdf, other]

Title: An Annotation-based Approach for Finding Bugs in Neural Network Programs

Mohammad Rezaalipour, Carlo A. Furia

Comments: New content: (1) discussing test oracles in the related work section, (2) adding future work, and (3) discussing the possibility of using other back-ends

Subjects: Software Engineering (cs.SE)

[40] arXiv:2112.06186 [pdf, other]

Title: Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks

Jibesh Patra, Michael Pradel

Comments: International Conference on Software Engineering (ICSE), 2022

Subjects: Software Engineering (cs.SE)

[41] arXiv:2112.06198 [pdf, other]

Title: Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems

Danny Weyns, Usman Iftikhar

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1908.11179

Subjects: Software Engineering (cs.SE)

[42] arXiv:2112.06222 [pdf, other]

Title: Rise of Distributed Deep Learning Training in the Big Model Era: From a Software Engineering Perspective

Xuanzhe Liu, Diandian Gu, Zhenpeng Chen, Jinfeng Wen, Zili Zhang, Yun Ma, Haoyu Wang, Xin Jin

Comments: Accepted by ACM Transactions on Software Engineering and Methodology (TOSEM 2023). Please include TOSEM in any citations

Subjects: Software Engineering (cs.SE)

[43] arXiv:2112.06233 [pdf, other]

Title: A simple proof of three properties on Simpson's 4-slot Algorithm

Xu Wang, Qiwen Xu

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

[44] arXiv:2112.06610 [pdf, other]

Title: From Anecdote to Evidence: The Relationship Between Personality and Need for Cognition of Developers

Daniel Russo, Andres R. Masegosa, Klaas-Jan Stol

Journal-ref: Empirical Software Engineering, 2022

Subjects: Software Engineering (cs.SE)

[45] arXiv:2112.06617 [pdf, other]

Title: (R)SE challenges in HPC

Jonas Thies, Melven Röhrig-Zöllner, Achim Basermann

Comments: 2 pages, whitepaper for the RSE-HPC-2021 workshop on the SC'21, this https URL

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

[46] arXiv:2112.06874 [pdf, other]

Title: Software Micro-Rejuvenation for Android Mobile Systems

Domenico Cotroneo, Luigi De Simone, Roberto Natella, Roberto Pietrantuono, Stefano Russo

Comments: Accepted for publication in Elsevier Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[47] arXiv:2112.06875 [pdf, other]

Title: Virtualizing Mixed-Criticality Systems: A Survey on Industrial Trends and Issues

Marcello Cinque, Domenico Cotroneo, Luigi De Simone, Stefano Rosiello

Comments: Accepted for publication in Elsevier Future Generation Computer Systems

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

[48] arXiv:2112.06883 [pdf, other]

Title: A Methodology for a Scalable, Collaborative, and Resource-Efficient Platform to Facilitate Healthcare AI Research

Raphael Y. Cohen, Vesela P. Kovacheva

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

[49] arXiv:2112.07179 [pdf, other]

Title: Blockchain Developments and Innovations

Mahdi Fahmideh, Anuradha Gunawardana, Shiping Chen, Jun Shen, Brian Yecies

Subjects: Software Engineering (cs.SE)

[50] arXiv:2112.07279 [pdf, other]

Title: The Interaction between Inputs and Configurations fed to Software Systems: an Empirical Study

Luc Lesoil, Mathieu Acher, Arnaud Blouin, Jean-Marc Jézéquel

Comments: 24 pages

Journal-ref: Journal of Software and Systems 2023

Subjects: Software Engineering (cs.SE)