Software Engineering

Authors and titles for September 2022

[101] arXiv:2209.10806 [pdf, other]

Title: A Smart System for Sitting Posture Detection Based on Force Sensors and Mobile Application

Slavomir Matuska, Martin Paralic, Robert Hudec

Comments: 19 pages, 13 figures, 3 tables, article in journal

Journal-ref: Mobile Information Systems, vol. 2020, Article ID 6625797, 13 pages, 2020

Subjects: Software Engineering (cs.SE)

[102] arXiv:2209.10868 [pdf, other]

Title: Answer Summarization for Technical Queries: Benchmark and New Approach

Yang Chengran, Bowen Xu, Ferdian Thung, Yucen Shi, Ting Zhang, Zhou Yang, Xin Zhou, Jieke Shi, Junda He, DongGyun Han, David Lo

Comments: Accepted by ASE 2022

Subjects: Software Engineering (cs.SE)

[103] arXiv:2209.10967 [pdf, other]

Title: Software Product Line for Metaverse: Preliminary Results

Filipe Fernandes, Cláudia Werner

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

[104] arXiv:2209.11031 [pdf, other]

Title: Metamorphic Testing in Autonomous System Simulations

Jubril Gbolahan Adigun, Linus Eisele, Michael Felderer

Comments: 8 pages, 5 figures, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA)

Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA); Robotics (cs.RO); Systems and Control (eess.SY)

[105] arXiv:2209.11138 [pdf, other]

Title: Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution

Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro

Subjects: Software Engineering (cs.SE)

[106] arXiv:2209.11320 [pdf, other]

Title: Blockchain-Oriented Services Computing in Action: Insights from a User Study

Giovanni Quattrocchi, Damian Andrew Tamburri, WIllem-Jan Van Den Heuvel

Subjects: Software Engineering (cs.SE)

[107] arXiv:2209.11351 [pdf, other]

Title: Software Sustainability: A Design Case for Achieving Sustainable Pension Services in Developing Country

Mikhail Ola Adisa, Shola Oyedeji, Jari Porras

Journal-ref: 2022 International Conference on ICT for Sustainability (ICT4S)

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

[108] arXiv:2209.11453 [pdf, other]

Title: A Preliminary Investigation of MLOps Practices in GitHub

Fabio Calefato, Filippo Lanubile, Luigi Quaranta

Comments: Presented at ESEM '22, the 16th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement

Journal-ref: Proceedings of the 16th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), September 2022, Pages 283-288

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

[109] arXiv:2209.11515 [pdf, other]

Title: Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction

Sungmin Kang, Juyeon Yoon, Shin Yoo

Comments: Accepted to IEEE/ACM International Conference on Software Engineering 2023 (ICSE 2023)

Subjects: Software Engineering (cs.SE)

[110] arXiv:2209.11632 [pdf, other]

Title: Facilitating Change Implementation for Continuous ML-Safety Assurance

Chih-Hong Cheng, Nguyen Anh Vu Doan, Balahari Balu, Franziska Schwaiger, Emmanouil Seferis, Simon Burton, Yassine Qamsane, Ankit Shukla, Yinchong Yang, Zhiliang Wu, Andreas Hapfelmeier, Ingo Thon

Subjects: Software Engineering (cs.SE)

[111] arXiv:2209.11633 [pdf, other]

Title: Formal Semantics of the CDL Language

Thorsten Berger, Steven She

Comments: Technical Note, Department of Computer Science, University of Leipzig, Germany

Subjects: Software Engineering (cs.SE)

[112] arXiv:2209.11946 [pdf, other]

Title: Are Machine Programming Systems using Right Source-Code Measures to Select Code Repositories?

Niranjan Hasabnis

Comments: 6 pages, 1 figure, to be presented at MaLTeSQuE 2022 workshop to be held with ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC-FSE) 2022, November 18, Singapore,

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

[113] arXiv:2209.12004 [pdf, other]

Title: Systematic Mapping Protocol -- Agile strategies for software development according to technical and environmental complexity factors

Fernando Pinciroli

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

Subjects: Software Engineering (cs.SE)

[114] arXiv:2209.12065 [pdf, other]

Title: Can Transformer Models Effectively Detect Software Aspects in StackOverflow Discussion?

Nibir Chandra Mandal, Tashreef Muhammad, G. M. Shahariar

Comments: 15 pages, 2 figures, submitted to International Conference on Machine Intelligence and Emerging Technologies (MIET 2022)

Journal-ref: Preprint of an article published in Machine Intelligence and Emerging Technologies. MIET 2022. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 491. Springer, Cham

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)

[115] arXiv:2209.12181 [pdf, other]

Title: Using Multiple Code Representations to Prioritize Static Analysis Warnings

Thanh Trong Vu, Hieu Dinh Vo

Comments: 6 pages, 2 figures, 4 tables

Subjects: Software Engineering (cs.SE)

[116] arXiv:2209.13009 [pdf, other]

Title: Can Existing Approaches Manage Dynamic and Large Business Processes enacted through Systems-of-Systems?

Maria Istela Cagnin, Elisa Yumi Nakagawa

Comments: 15 pages, 3 figures, 3 tables

Subjects: Software Engineering (cs.SE)

[117] arXiv:2209.13372 [pdf, other]

Title: CSRE4SOC (CSR evaluation for software companies)

Elisa Jimenez, Coral Calero, Maria Ángeles Moraga

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

[118] arXiv:2209.13978 [pdf, other]

Title: Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation

Peter Bludau, Alexander Pretschner

Comments: 10 pages, 3 figures, accepted at the 18th edition of the International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'22)

Subjects: Software Engineering (cs.SE)

[119] arXiv:2209.13995 [pdf, other]

Title: Revealing the Semantics of Data Wrangling Scripts With COMANTICS

Kai Xiong, Zhongsu Luo, Siwei Fu, Yongheng Wang, Mingliang Xu, Yingcai Wu

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

[120] arXiv:2209.14028 [pdf, other]

Title: Bounded Invariant Checking for Stateflow

Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248

Journal-ref: EPTCS 371, 2022, pp. 38-52

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

[121] arXiv:2209.14034 [pdf, other]

Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata

Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 20-37

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[122] arXiv:2209.14044 [pdf, other]

Title: Extending Attack-Fault Trees with Runtime Verification

Rafael C. Cardoso (University of Aberdeen), Angelo Ferrando (University of Genova), Michael Fisher (The University of Manchester)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 193-207

Subjects: Software Engineering (cs.SE)

[123] arXiv:2209.14055 [pdf, other]

Title: Dealing with Data Challenges when Delivering Data-Intensive Software Solutions

Ulrike M. Graetsch, Hourieh Khalajzadeh, Mojtaba Shahin, Rashina Hoda, John Grundy

Comments: Submitted to IEEE Transactions on Software Engineering, 22 pages, 4 Figures, 1 Table

Subjects: Software Engineering (cs.SE)

[124] arXiv:2209.14057 [pdf, other]

Title: How Far Does the Predictive Decision Impact the Software Project? The Cost, Service Time, and Failure Analysis from a Cross-Project Defect Prediction Model

Umamaheswara Sharma B, Ravichandra Sadam

Journal-ref: 2022

Subjects: Software Engineering (cs.SE)

[125] arXiv:2209.14060 [pdf, other]

Title: Design Guidelines for Improving User Experience in Industrial Domain-Specific Modelling Languages

Rohit Gupta, Nico Jansen, Nikolaus Regnat, Bernhard Rumpe

Comments: 12 pages, 5 figures

Subjects: Software Engineering (cs.SE)

[126] arXiv:2209.14071 [pdf, other]

Title: Towards Auditable Distributed Systems

Lev Sorokin

Comments: Editor: Ibéria Medeiros. 18th European Dependable Computing Conference (EDCC 2022), September 12-15, 2022, Zaragoza, Spain. Student Forum Proceedings - EDCC 2022

Subjects: Software Engineering (cs.SE)

[127] arXiv:2209.14155 [pdf, other]

Title: Automatic Analysis of Available Source Code of Top Artificial Intelligence Conference Papers

Jialiang Lin, Yingmin Wang, Yao Yu, Yu Zhou, Yidong Chen, Xiaodong Shi

Comments: Please cite the version of IJSEKE

Journal-ref: International Journal of Software Engineering and Knowledge Engineering, Vol. 32, No. 07, pp. 947-970 (2022)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Digital Libraries (cs.DL); Machine Learning (cs.LG)

[128] arXiv:2209.14227 [pdf, other]

Title: UTC Time, Formally Verified

Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

Journal-ref: In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 24), January 15--16, 2024, London, UK. ACM, New York, NY, USA, 12 pages

Subjects: Software Engineering (cs.SE)

[129] arXiv:2209.14263 [pdf, other]

Title: Enhancing Agile Software Development Sustainability through the Integration of User Experience and Gamification

Manal Alhammad, Ana Moreno

Comments: 8 pages, 2 figures, XP 2022 conference

Subjects: Software Engineering (cs.SE)

[130] arXiv:2209.14299 [pdf, other]

Title: Software Defect Prediction Using Support Vector Machine

Haneen Abu Alhija, Mohammad Azzeh, Fadi Almasalha

Subjects: Software Engineering (cs.SE)

[131] arXiv:2209.14300 [pdf, other]

Title: Locally Weighted Regression with different Kernel Smoothers for Software Effort Estimation

Yousef Alqasrawi, Mohammad Azzeh, Yousef Elsheikh

Subjects: Software Engineering (cs.SE)

[132] arXiv:2209.14422 [pdf, other]

Title: StacerBot: A Stacktrace Search Engine for Stack Overflow

Md Abdullah Al Alamin

Subjects: Software Engineering (cs.SE)

[133] arXiv:2209.14714 [pdf, other]

Title: Evolving Reference Architecture Description: Guidelines based on ISO/IEC/IEEE 42010

Edilson Soares Palma, Elisa Yumi Nakagawa, Débora Maria Barroso Paiva, Maria Istela Cagnin

Comments: 17 pages, 2 figures, 2 algorithms, 11 tables

Subjects: Software Engineering (cs.SE)

[134] arXiv:2209.14876 [pdf, other]

Title: Repairing Bugs in Python Assignments Using Large Language Models

Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen

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

[135] arXiv:2209.14924 [pdf, other]

Title: Chandojnanam: A Sanskrit Meter Identification and Utilization System

Hrishikesh Terdalkar, Arnab Bhattacharya

Comments: to be published in "18th World Sanskrit Conference (WSC 2023)"

Journal-ref: In Proceedings of the Computational Sanskrit & Digital Humanities: Selected papers presented at the 18th World Sanskrit Conference, 2023, pages 113--127, Canberra, Australia (Online mode). Association for Computational Linguistics

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)

[136] arXiv:2209.15011 [pdf, other]

Title: Does Collaborative Editing Help Mitigate Security Vulnerabilities in Crowd-Shared IoT Code Examples?

Madhu Selvaraj, Gias Uddin

Comments: 10 pages, 14 figures, ESEM22

Subjects: Software Engineering (cs.SE)

[137] arXiv:2209.15075 [pdf, other]

Title: What UAE Software Students Think about Software Testing: A Replicated Study

Luiz Fernando Capretz, Saad Harous, Ali Bou Nassif

Comments: 9 pagges. arXiv admin note: text overlap with arXiv:2205.07781, arXiv:2007.12632

Journal-ref: 9th International Conference on Computers Communications and Control (ICCCC 2022), Oradea, Romania, in Springer Series: Intelligent Methods Systems and Applications in Computing, Communications and Control

Subjects: Software Engineering (cs.SE)

[138] arXiv:2209.15260 [pdf, other]

Title: A Multiple Criteria Decision Analysis based Approach to Remove Uncertainty in SMP Models

Gokul Yenduri, Thippa Reddy Gadekallu

Comments: Submitted for peer review

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

[139] arXiv:2209.15369 [pdf, other]

Title: Towards effective assessment of steady state performance in Java software: Are we there yet?

Luca Traini, Vittorio Cortellessa, Daniele Di Pompeo, Michele Tucci

Comments: Published in Empirical Software Engineering (EMSE)

Journal-ref: Empir Software Eng 28, 13 (2023)

Subjects: Software Engineering (cs.SE)

[140] arXiv:2209.15438 [pdf, other]

Title: Empowering the trustworthiness of ML-based critical systems through engineering activities

Juliette Mattioli, Agnes Delaborde, Souhaiel Khalfaoui, Freddy Lecue, Henri Sohier, Frederic Jurie

Comments: This work has been supported by the French government under the "France 2030" program, as part of the SystemX Technological Research Institute Research Institute

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

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

Title: Review of the AMLAS Methodology for Application in Healthcare

Shakir Laher, Carla Brackstone, Sara Reis, An Nguyen, Sean White, Ibrahim Habli

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

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

Title: Go-Explore Complex 3D Game Environments for Automated Reachability Testing

Cong Lu, Raluca Georgescu, Johan Verwey

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

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

Title: Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?

Yue Liu, Chakkrit Tantithamthavorn, Li Li, Yepang Liu

Comments: Accepted by the 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)

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

[144] arXiv:2209.01317 (cross-list from cs.CR) [pdf, html, other]

Title: DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity

Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin

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

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

Title: SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings

Sun RuiJin, Guo Shize, Guo Jinhong, Li Wei, Zhan Dazhi, Sun Meng, Pan Zhisong

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

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

Title: DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases

Min-Yih Hsu, Felicitas Hetzelt, Michael Franz

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

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

Title: Assessing Software Privacy using the Privacy Flow-Graph

Feiyang Tang, Bjarte M. Østvold

Comments: Published at International Workshop on Mining Software Repositories Applications for Privacy and Security (MSR4P&S) 2022

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

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

Title: VulCurator: A Vulnerability-Fixing Commit Detector

Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach D. Le, David Lo

Comments: accepted to ESEC/FSE 2022, Tool Demos Track

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

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

Title: Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing

Stefan Nagy, Anh Nguyen-Tuong, Jason D. Hiser, Jack W. Davidson, Matthew Hicks

Comments: CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security

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

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

Title: Strong Optimistic Solving for Dynamic Symbolic Execution

Darya Parygina, Alexey Vishnyakov, Andrey Fedotov

Journal-ref: 2022 Ivannikov Memorial Workshop (IVMEM), IEEE, 2022, pp. 43-53

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

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

Title: What is Software Supply Chain Security?

Marcela S. Melara, Mic Bowman

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

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

Title: Compiler Testing using Template Java Programs

Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi

Comments: 13 pages, 6 figures, 2 tables, accepted in ASE 2022 (Research Papers track)

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

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

Title: Responsible AI Pattern Catalogue: A Collection of Best Practices for AI Governance and Engineering

Qinghua Lu, Liming Zhu, Xiwei Xu, Jon Whittle, Didar Zowghi, Aurelie Jacquet

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

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

Title: Adaptive Fairness Improvement Based on Causality Analysis

Mengdi Zhang, Jun Sun

Comments: 12 pages, 8 figures, published in ESEC/FSE 2022

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

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

Title: Mining SoC Message Flows with Attention Model

Md Rubel Ahmed, Bardia Nadimi, Hao Zheng

Comments: 7 pages

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

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

Title: Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations

Patrick Stöckle, Ionut Pruteanu, Bernd Grobauer, Alexander Pretschner

Comments: We submitted this article as a full-length paper. Unfortunately, the CODASPY Program Committee decided that our paper can only be accepted in the tool track. Thus, the published version only consists of 6 pages

Journal-ref: Proceedings of the Twelveth ACM Conference on Data and Application Security and Privacy (CODASPY '22), April 24--27, 2022, Baltimore, MD, USA

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

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

Title: Rapid Recovery of Program Execution Under Power Failures for Embedded Systems with NVM

Min Jia (1), Edwin Hsing.-M. Sha (1), Qingfeng Zhuge (1), Rui Xu (1), Shouzhen Gu (2) ((1) East China Normal University School of Computer Science and Technology, China, (2) East China Normal University Software Engineering Institute, China)

Comments: This paper has been accepted for publication to Microprocessors and Microsystems in March 15, 2021

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

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

Title: Automated Identification of Security-Relevant Configuration Settings Using NLP

Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner

Comments: Peer-reviewed version accepted for publication in the Industry Showcase track at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE '22), October 10--14, 2022, Rochester, MI, USA

Journal-ref: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE '22), October 10--14, 2022, Rochester, MI, USA

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

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

Title: Automated Implementation of Windows-related Security-Configuration Guides

Patrick Stöckle, Bernd Grobauer, Alexander Pretschner

Journal-ref: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE '20), September 21--25, 2020, Virtual Event, Australia

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

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

Title: F*** workflows: when parts of FAIR are missing

Sean R. Wilkinson, Greg Eisenhauer, Anuj J. Kapadia, Kathryn Knight, Jeremy Logan, Patrick Widener, Matthew Wolf

Comments: 6 pages, 0 figures, accepted to ERROR 2022 workshop (see this https URL for more information), to be published in proceedings of IEEE eScience 2022

Subjects: Digital Libraries (cs.DL); Software Engineering (cs.SE)

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

Title: Proceedings of the Sixth Working Formal Methods Symposium

Vlad Rusu

Journal-ref: EPTCS 369, 2022

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

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

Title: S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin

Comments: 24 pages

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

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

Title: Dislocated Accountabilities in the AI Supply Chain: Modularity and Developers' Notions of Responsibility

David Gray Widder, Dawn Nafus

Comments: Keywords: Modularity, software engineering, supply chain, artificial intelligence, ethics, located accountability

Journal-ref: SAGE Big Data & Society, 10.1 (2023) 1-12

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

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

Title: Android Private Compute Core Architecture

Eugenio Marchiori, Sarah de Haas, Sergey Volnov, Ronnie Falcon, Roxanne Pinto, Marco Zamarato

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

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

Title: Scalable Discovery and Continuous Inventory of Personal Data at Rest in Cloud Native Systems

Elias Grünewald, Leonard Schurbert

Comments: Preprint of 2022-09-09 before final copy-editing of an accepted peer-reviewed paper to appear in the Proceedings of the 20th International Conference on Service-Oriented Computing ICSOC 2022

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

[166] arXiv:2209.10492 (cross-list from cs.CL) [pdf, other]

Title: Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees

Swarnadeep Saha, Shiyue Zhang, Peter Hase, Mohit Bansal

Comments: ICLR 2023

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

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

Title: DeepThought: a Reputation and Voting-based Blockchain Oracle

Marco Di Gennaro, Lorenzo Italiano, Giovanni Meroni, Giovanni Quattrocchi

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

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

Title: To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild

Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini

Comments: 8 pages, published in 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), December 09-11, 2022, Wuhan, China

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

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

Title: Characteristics and Main Threats about Multi-Factor Authentication: A Survey

Wesley dos Reis Bezerra, Cristiano Antônio de Souza, Carla Merkle Westphall, Carlos Becker Westphall

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

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

Title: A Benchmark Comparison of Python Malware Detection Approaches

Duc-Ly Vu, Zachary Newman, John Speed Meyers

Comments: 12 pages, 3 figures, 3 tables

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

[171] arXiv:2209.13731 (cross-list from quant-ph) [pdf, other]

Title: Software science view on quantum circuit algorithms

Yuri Gurevich, Andreas Blass

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Mathematical Physics (math-ph)

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

Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 77-85

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

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

Title: Mobile Edge Computing, Metaverse, 6G Wireless Communications, Artificial Intelligence, and Blockchain: Survey and Their Convergence

Yitong Wang, Jun Zhao

Comments: This paper appears in the Proceedings of 2022 IEEE 8th World Forum on Internet of Things (WF-IoT). Please feel free to contact us for questions or remarks

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

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

Title: Consensus-Free Spreadsheet Integration

Brandon Baylor, Eric Daimler, James Hansen, Esteban Montero, Ryan Wisnesky

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

[175] arXiv:2209.14708 (cross-list from cs.HC) [pdf, other]

Title: TruEyes: Utilizing Microtasks in Mobile Apps for Crowdsourced Labeling of Machine Learning Datasets

Chandramohan Sudar, Michael Froehlich, Florian Alt

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

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

Title: Family-Based Fingerprint Analysis: A Position Paper

Carlos Diego Nascimento Damasceno, Daniel Strüber

Comments: Paper published in the Proceedings A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 2022

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