Software Engineering

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

[76]  arXiv:2111.14183 [pdf, other]

Title: Code Clone Detection based on Event Embedding and Event Dependency

Authors: Cheng Huang, Hui Zhou, Chunyang Ye, Bingzhuo Li

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

[77]  arXiv:2111.14453 [pdf, other]

Title: Enhancing syntax expressiveness in domain-specific modelling

Authors: Damiano Di Vicenzo, Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio

Subjects: Software Engineering (cs.SE)

[78]  arXiv:2111.14583 [pdf, other]

Title: Standing on Shoulders or Feet? An Extended Study on the Usage of the MSR Data Papers

Authors: Zoe Kotti, Konstantinos Kravvaritis, Konstantina Dritsa, Diomidis Spinellis

Comments: journal article, 35 pages, 7 figures, 6 tables

Journal-ref: Empirical Software Engineering 25 (5), 3288-3322, 2020

Subjects: Software Engineering (cs.SE)

[79]  arXiv:2111.15285 [pdf, other]

Title: Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis

Authors: Dominik Schneider, Alexander Weinert

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

[80]  arXiv:2111.15293 [pdf, other]

Title: The Impact of Considering Human Values during Requirements Engineering Activities

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

Comments: 17 pages, 8 images, 5 tables

Subjects: Software Engineering (cs.SE)

[81]  arXiv:2111.15338 [pdf, other]

Title: A Semi-automated Method for Domain-Specific Ontology Creation from Medical Guidelines

Authors: Omar ElAssy, Rik de Vendt, Fabiano Dalpiaz, Sjaak Brinkkemper

Comments: Published at EMMSAD 2022

Subjects: Software Engineering (cs.SE)

[82]  arXiv:2111.15662 [pdf, other]

Title: HOTTBOX: Higher Order Tensor ToolBOX

Authors: Ilya Kisil, Giuseppe G. Calvi, Bruno S. Dees, Danilo P. Mandic

Subjects: Mathematical Software (cs.MS); Signal Processing (eess.SP)

[83]  arXiv:2111.00218 (cross-list from cs.LO) [pdf, ps, other]

Title: A Non-Deterministic Multiset Query Language

Authors: Bartosz Zielinski

Comments: 40 pages, version edited by Fundamenta Informaticae

Journal-ref: Fundamenta Informaticae, Volume 184, Issue 2 (January 13, 2022) fi:8950

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

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

Title: Challenging but Full of Opportunities: Teachers' Perspectives on Programming in Primary Schools

Authors: Luisa Greifenstein, Isabella Graßl, Gordon Fraser

Comments: To be published in the Proceedings of the 21st Koli Calling International Conference on Computing Education Research (Koli Calling 2021)

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

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

Title: Dazed and Confused: What's Wrong with Crypto Libraries?

Authors: Mohammadreza Hazhirpasand, Oscar Nierstrasz, Mohammad Ghafari

Comments: 18th Annual International Conference on Privacy, Security and Trust (PST2021)

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

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

Title: Can I use this publicly available dataset to build commercial AI software? -- A Case Study on Publicly Available Image Datasets

Authors: Gopi Krishnan Rajbahadur, Erika Tuck, Li Zi, Dayi Lin, Boyuan Chen, Zhen Ming (Jack) Jiang, Daniel M. German

Comments: This is revised version of the paper with updated co-authors

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

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

Title: TOSCAdata: Modelling data pipeline applications in TOSCA

Authors: Chinmaya Kumar Dehury, Pelle Jakovits, Satish Narayana Srirama, Giorgos Giotis, Gaurav Garg

Comments: This is accepted (In Press, Journal Pre-proof version) by JSS-SI on Software Architecture and Artificial Intelligence

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

[88]  arXiv:2111.02853 (cross-list from cs.AI) [pdf]

Title: Big Data Testing Techniques: Taxonomy, Challenges and Future Trends

Authors: Iram Arshad, Saeed Hamood Alsamhi, Wasif Afzal

Comments: 32 pages

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

[89]  arXiv:2111.03601 (cross-list from cs.CR) [pdf]

Title: Security Header Fields in HTTP Clients

Authors: Pascal Gadient, Oscar Nierstrasz, Mohammad Ghafari

Comments: The 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021)

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

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

Title: CloudRCA: A Root Cause Analysis Framework for Cloud Computing Platforms

Authors: Yingying Zhang, Zhengxiong Guan, Huajie Qian, Leili Xu, Hengbo Liu, Qingsong Wen, Liang Sun, Junwei Jiang, Lunting Fan, Min Ke

Comments: Accepted by CIKM 2021; 10 pages, 3 figures, 12 tables

Journal-ref: 30th ACM International Conference on Information and Knowledge Management (CIKM 2021)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Software Engineering (cs.SE); Signal Processing (eess.SP)

[91]  arXiv:2111.03782 (cross-list from cs.LO) [pdf, ps, other]

Title: Confidence Composition for Monitors of Verification Assumptions

Authors: Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, Insup Lee

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

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

Title: Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains

Authors: Yepeng Ding, Hiroyuki Sato

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

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

Title: OpenMP aware MHP Analysis for Improved Static Data-Race Detection

Authors: Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta

Comments: Accepted at LLVM-HPC'21

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

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

Title: Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Authors: Chiao Hsieh (1), Keyur Joshi (1), Sasa Misailovic (1), Sayan Mitra (1) ((1) University of Illinois at Urbana-Champaign)

Comments: 12 pages, 9 figures, submitted to HSCC 2022

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

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

Title: Symbolic Security Predicates: Hunt Program Weaknesses

Authors: Alexey Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil Kuts, Darya Parygina, Andrey Fedotov

Journal-ref: 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021, pp. 76-85

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

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

Title: MAJORCA: Multi-Architecture JOP and ROP Chain Assembler

Authors: Alexey Nurmukhametov, Alexey Vishnyakov, Vlada Logunova, Shamil Kurmangaleev

Journal-ref: 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021, pp. 37-46

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

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

Title: SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel

Authors: Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian

Comments: 17 pages, 9 figures; accepted to USENIX Security 2022

Journal-ref: 31st USENIX Security Symposium (USENIX Security 2022)

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

[98]  arXiv:2111.08204 (cross-list from cs.FL) [pdf, other]

Title: Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA

Authors: Andrea Bombarda (University of Bergamo), Silvia Bonfanti (University of Bergamo), Angelo Gargantini (University of Bergamo), Elvinia Riccobene (University of Milano)

Comments: In Proceedings AppFM 2021, arXiv:2111.07538

Journal-ref: EPTCS 349, 2021, pp. 13-29

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

[99]  arXiv:2111.08205 (cross-list from cs.LO) [pdf, ps, other]

Title: A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Authors: Lorenzo Capra (Dipartimento di Informatica, Università degli Studi di Milano)

Comments: In Proceedings AppFM 2021, arXiv:2111.07538

Journal-ref: EPTCS 349, 2021, pp. 31-49

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

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

Title: F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails

Authors: Yu-Shan Sun (Clemson University), Daniel Welch (Pennsylvania State University), Murali Sitaraman (Clemson University)

Comments: In Proceedings AppFM 2021, arXiv:2111.07538

Journal-ref: EPTCS 349, 2021, pp. 51-67

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

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

Title: Understanding How Programmers Can Use Annotations on Documentation

Authors: Amber Horvath, Michael Xieyang Liu, River Hendriksen, Connor Shannon, Emma Paterson, Kazi Jawad, Andrew Macvean, Brad A. Myers

Comments: Conditionally accepted for publication at CHI '22

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

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

Title: Software Engineering for Responsible AI: An Empirical Study and Operationalised Patterns

Authors: Qinghua Lu, Liming Zhu, Xiwei Xu, Jon Whittle, David Douglas, Conrad Sanderson

Comments: Submitted to ICSE SEIP 2022

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

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

Title: InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript

Authors: Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer

Comments: 11 pages, sent to Software Engineering in Practice track at ICSE'2022

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

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

Title: Measuring source code conciseness across programming languages using compression

Authors: Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink

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

[105]  arXiv:2111.11612 (cross-list from cs.CR) [pdf]

Title: Developments in Connected Vehicles and the Requirement for Increased Cybersecurity

Authors: Phillip Garrad, Shane Gilroy

Comments: Presented at the Irish Transport Research Network (ITRN) 2021 Conference, Limerick, Ireland. 26th & 27th August 2021. 7 pages, 1 figure

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

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

Title: Context-based navigation for ground mobile robot in a semi-structured indoor environment

Authors: Darko Bozhinoski, Jasper Wijkhuizen

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

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

Title: Style-Guided Web Application Exploration

Authors: Davood Mazinanian, Mohammad Bajammal, Ali Mesbah

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

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

Title: xFuzz: Machine Learning Guided Cross-Contract Fuzzing

Authors: Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao

Comments: IEEE Transactions on Dependable and Secure Computing (2022)

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

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

Title: Who, What, Why and How? Towards the Monetary Incentive in Crowd Collaboration: A Case Study of Github's Sponsor Mechanism

Authors: Xunhui Zhang, Tao Wang, Yue Yu, Qiubing Zeng, Zhixing Li, Huaimin Wang

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

[110]  arXiv:2111.15592 (cross-list from cs.CV) [pdf, other]

Title: MapReader: A Computer Vision Pipeline for the Semantic Exploration of Maps at Scale

Authors: Kasra Hosseini, Daniel C.S. Wilson, Kaspar Beelen, Katherine McDonough

Comments: 13 pages, 9 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)