Software Engineering

Authors and titles for cs.SE in Dec 2020

[1]  arXiv:2012.00274 [pdf, ps, other]

Title: Evaluation of Reusability in Aspect Oriented Software using Inheritance Metrics

Authors: Vinobha A, Senthil Velan S, Chitra Babu

Subjects: Software Engineering (cs.SE)

[2]  arXiv:2012.00276 [pdf, ps, other]

Title: Design Level Metrics to Measure the Complexity Across Versions of AO Software

Authors: Parthipan S, Senthil Velan S, Chitra Babu

Subjects: Software Engineering (cs.SE)

[3]  arXiv:2012.00544 [pdf, other]

Title: Software Security Patch Management -- A Systematic Literature Review of Challenges, Approaches, Tools and Practices

Authors: Nesara Dissanayake, Asangi Jayatilaka, Mansooreh Zahedi, M. Ali Babar

Comments: 45 pages, 7 figures

Subjects: Software Engineering (cs.SE)

[4]  arXiv:2012.00594 [pdf, other]

Title: HPM-Frame: A Decision Framework for Executing Software on Heterogeneous Platforms

Authors: Hugo Andrade, Ola Benderius, Christian Berger, Ivica Crnkovic, Jan Bosch

Comments: Manuscript submitted to the Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[5]  arXiv:2012.00818 [pdf, ps, other]

Title: Designing Voice-Controllable APIs

Authors: Matúš Sulír, Jaroslav Porubän

Journal-ref: 2019 IEEE 15th International Scientific Conference on Informatics, IEEE, 2019, pp. 393-398

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

[6]  arXiv:2012.00829 [pdf, other]

Title: Customizing Host IDE for Non-programming Users of Pure Embedded DSLs: A Case Study

Authors: Milan Nosáľ, Jaroslav Porubän, Matúš Sulír

Journal-ref: Computer Languages, Systems and Structures (COMLAN), Vol. 49, 2017, pp. 101-118

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

[7]  arXiv:2012.00856 [pdf, ps, other]

Title: Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification

Authors: Matt Luckcuck

Comments: Accepted at Journal of Risk and Reliability

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

[8]  arXiv:2012.00992 [pdf, other]

Title: Characterizing Commodity Serverless Computing Platforms

Authors: Jinfeng Wen, Yi Liu, Zhenpeng Chen, Junkai Chen, Yun Ma

Subjects: Software Engineering (cs.SE)

[9]  arXiv:2012.01023 [pdf, ps, other]

Title: A Methodology for Deriving Evaluation Criteria for Software Solutions

Authors: Harald Papp, Marc Hanussek

Comments: 12 pages, 2 figures, 2 Tables, shortened version accepted at ICORES 2021 (this http URL)

Subjects: Software Engineering (cs.SE)

[10]  arXiv:2012.01028 [pdf, other]

Title: CRaDLe: Deep Code Retrieval Based on Semantic Dependency Learning

Authors: Wenchao Gu, Zongjie Li, Cuiyun Gao, Chaozheng Wang, Hongyu Zhang, Zenglin Xu, Michael R.Lyu

Journal-ref: Neural Networks, 2021, 141: 385-394

Subjects: Software Engineering (cs.SE)

[11]  arXiv:2012.01057 [pdf, other]

Title: Software Module Clustering: An In-Depth Literature Analysis

Authors: Qusay I. Sarhan, Bestoun S. Ahmed, Miroslav Bures, Kamal Z. Zamli

Comments: 33 pages

Journal-ref: IEEE Transactions on Software Engineering 2021

Subjects: Software Engineering (cs.SE)

[12]  arXiv:2012.01198 [pdf, other]

Title: Production Monitoring to Improve Test Suites

Authors: Deepika Tiwari, Long Zhang, Martin Monperrus, Benoit Baudry

Journal-ref: IEEE Transactions on Reliability, 2021

Subjects: Software Engineering (cs.SE)

[13]  arXiv:2012.01403 [pdf, other]

Title: Empirical Study on the Software Engineering Practices in Open Source ML Package Repositories

Authors: Minke Xiu, Ellis E. Eghan, Zhen Ming (Jack) Jiang, Bram Adams

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

[14]  arXiv:2012.01493 [pdf, ps, other]

Title: A Rely-Guarantee Specification of Mixed-Criticality Scheduling

Authors: Cliff B Jones, Alan Burns

Comments: This paper will appear in a Festschrift - on publication we will insert a pointer to the book

Journal-ref: Mathematical Foundations of Software Engineering, College Publication, 2022, Chap 6

Subjects: Software Engineering (cs.SE)

[15]  arXiv:2012.01596 [pdf, ps, other]

Title: Time-Aware Models for Software Effort Estimation

Authors: Michael Franklin Bosu, Stephen G. MacDonell, Peter Whigham

Comments: 5 Pages, Conference SEKE2020

Journal-ref: The 32nd International Conference on Software Engineering & Knowledge Engineering, Virtual, 9 - 19 July, 2020

Subjects: Software Engineering (cs.SE)

[16]  arXiv:2012.01614 [pdf, other]

Title: Explainable AI for Software Engineering

Authors: Chakkrit Tantithamthavorn, Jirayus Jiarpakdee, John Grundy

Comments: Under Review at IEEE Computer Magazine

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

[17]  arXiv:2012.01648 [pdf, ps, other]

Title: Towards Compositional Verification for Modular Robotic Systems

Authors: Rafael C. Cardoso (The University of Manchester), Louise A. Dennis (The University of Manchester), Marie Farrell (The University of Manchester), Michael Fisher (The University of Manchester), Matt Luckcuck (The University of Manchester)

Comments: In Proceedings FMAS 2020, arXiv:2012.01176

Journal-ref: EPTCS 329, 2020, pp. 15-22

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

[18]  arXiv:2012.01649 [pdf, other]

Title: YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

Authors: Mario Gleirscher (University of York)

Comments: In Proceedings FMAS 2020, arXiv:2012.01176

Journal-ref: EPTCS 329, 2020, pp. 31-47

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

[19]  arXiv:2012.01651 [pdf, other]

Title: A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Authors: Fatma Kachi (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Chafia Bouanaka (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Souheir Merkouche (University of Constantine2-Abdelhamid Mehri)

Comments: In Proceedings FMAS 2020, arXiv:2012.01176

Journal-ref: EPTCS 329, 2020, pp. 48-64

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

[20]  arXiv:2012.01655 [pdf, other]

Title: VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

Authors: Nils Weidmann (Paderborn University, Germany), Anthony Anjorin (IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Germany), James Cheney (University of Edinburgh, United Kingdom)

Comments: In Proceedings GCM 2020, arXiv:2012.01181

Journal-ref: EPTCS 330, 2020, pp. 1-12

Subjects: Software Engineering (cs.SE)

[21]  arXiv:2012.01656 [pdf, ps, other]

Title: Graph Repair and its Application to Meta-Modeling

Authors: Christian Sandmann (Carl von Ossietzky University Oldenburg, Germany)

Comments: In Proceedings GCM 2020, arXiv:2012.01181

Journal-ref: EPTCS 330, 2020, pp. 13-34

Subjects: Software Engineering (cs.SE)

[22]  arXiv:2012.01708 [pdf, other]

Title: Feature-Based Software Design Pattern Detection

Authors: Najam Nazar, Aldeida Aleti, Yaokun Zheng

Comments: Accepted in Journal of Systems and Software (JSS)

Subjects: Software Engineering (cs.SE)

[23]  arXiv:2012.01815 [pdf, other]

Title: SemMT: A Semantic-based Testing Approach for Machine Translation Systems

Authors: Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung

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

[24]  arXiv:2012.01908 [pdf, ps, other]

Title: Exploration in Algorithm Engineering: Modeling Algorithms

Authors: Sabah Al-Fedaghi

Comments: 13 pages, 27 figures

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.20 No.11, 159-171, November 2020

Subjects: Software Engineering (cs.SE)

[25]  arXiv:2012.02245 [pdf, other]

Title: Technical Report: Refining Case Models Using Cardinality Constraints

Authors: Stephan Haarmann, Marco Montali, Mathias Weske

Comments: 27 pages, 22 Figures

Subjects: Software Engineering (cs.SE)

[26]  arXiv:2012.02471 [pdf, other]

Title: Automated, Cost-effective, and Update-driven App Testing

Authors: Chanh Duc Ngo, Fabrizio Pastore, Lionel Briand

Subjects: Software Engineering (cs.SE)

[27]  arXiv:2012.02640 [pdf, other]

Title: A Comparison of Natural Language Understanding Platforms for Chatbots in Software Engineering

Authors: Ahmad Abdellatif, Khaled Badran, Diego Elias Costa, Emad Shihab

Journal-ref: IEEE Transactions on Software Engineering (TSE), 2021

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

[28]  arXiv:2012.02645 [pdf, other]

Title: Supporting Round-Trip Data Migration for Web APIs: A Henshin Solution

Authors: Daniel Strüber

Comments: 5 pages, 5 figures; accepted for publication in the proceedings for Transformation Tool Contest (TTC) 2020

Subjects: Software Engineering (cs.SE)

[29]  arXiv:2012.03225 [pdf, other]

Title: NaturalCC: A Toolkit to Naturalize the Source Code Corpus

Authors: Yao Wan, Yang He, Jian-Guo Zhang, Yulei Sui, Hai Jin, Guandong Xu, Caiming Xiong, Philip S. Yu

Subjects: Software Engineering (cs.SE)

[30]  arXiv:2012.03423 [pdf, other]

Title: A Multi-dimensional Study of Requirements Changes in Agile Software Development Projects

Authors: Kashumi Madampe, Rashina Hoda, John Grundy

Comments: 20 pages, 9 figures, 12 tables, Submitted to IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[31]  arXiv:2012.03453 [pdf, other]

Title: A Tool to Extract Structured Data from GitHub

Authors: Shreyansh Surana, Smit Detroja, Saurabh Tiwari

Comments: 4 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[32]  arXiv:2012.03521 [pdf, ps, other]

Title: Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time

Authors: Wouter Groeneveld, Joost Vennekens, Kris Aerts

Journal-ref: Proceedings of the 48th SEFI Conference (2020) 799 - 809

Subjects: Software Engineering (cs.SE)

[33]  arXiv:2012.03716 [pdf, other]

Title: How Successful Are Open Source Contributions From Countries with Different Levels of Human Development?

Authors: Leonardo Furtado, Bruno Cartaxo, Christoph Treude, Gustavo Pinto

Comments: 5 pages, 1 figure

Journal-ref: IEEE Software 2021

Subjects: Software Engineering (cs.SE)

[34]  arXiv:2012.03738 [pdf, other]

Title: Small Changes, Big Impacts: Leveraging Diversity to Improve Energy Efficiency

Authors: Wellington Oliveira, Hugo Matalonga, Gustavo Pinto, Fernando Castor, João Paulo Fernandes

Comments: 31 pages, 7 figures

Subjects: Software Engineering (cs.SE)

[35]  arXiv:2012.03745 [pdf, other]

Title: From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

Authors: Aaron Dutle (NASA), César Muñoz (NASA), Esther Conrad (NASA), Alwyn Goodloe (NASA), Laura Titolo (National Institute of Aerospace), Ivan Perez (National Institute of Aerospace), Swee Balachandran (National Institute of Aerospace), Dimitra Giannakopoulou (NASA), Anastasia Mavridou (KBR Inc.), Thomas Pressburger (NASA)

Comments: In Proceedings FMAS 2020, arXiv:2012.01176

Journal-ref: EPTCS 329, 2020, pp. 23-30

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

[36]  arXiv:2012.03759 [pdf, other]

Title: Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing

Authors: Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim

Comments: 32 pages, 2 figuras

Journal-ref: Software Quality Journal 2021

Subjects: Software Engineering (cs.SE)

[37]  arXiv:2012.04185 [pdf, other]

Title: Formalism-Driven Development of Decentralized Systems

Authors: Yepeng Ding, Hiroyuki Sato

Comments: To appear in ICECCS 2022

Subjects: Software Engineering (cs.SE)

[38]  arXiv:2012.04188 [pdf, other]

Title: Learning to Represent Programs with Heterogeneous Graphs

Authors: Kechi Zhang, Wenhan Wang, Huangzhao Zhang, Ge Li, Zhi Jin

Comments: Accepted by ICPC 2022

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

[39]  arXiv:2012.04760 [pdf, other]

Title: Fine-Grained Network Analysis for Modern Software Ecosystems

Authors: Paolo Boldi, Georgios Gousios

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[40]  arXiv:2012.04966 [pdf, other]

Title: Constructive Master's Thesis Work in Industry: Guidelines for Applying Design Science Research

Authors: Eric Knauss

Comments: Accepted at International Conference on Software Engineering (ICSE), Joint Track on Software Engineering Education and Training. Changes based on reviews: Related guidelines on DSR to more general guidelines for empirical research. Provided additional table to map guidelines to identified problems. Made writing consistent with respect to the use of "we"/"I". General improvements in writing

Subjects: Software Engineering (cs.SE)

[41]  arXiv:2012.05016 [pdf, other]

Title: From One to Hundreds: Multi-Licensing in the JavaScript Ecosystem

Authors: João Pedro Moraes, Ivanilton Polato, Igor Wiese, Filipe Saraiva, Gustavo Pinto

Comments: Submitted to EMSE, 33 pages

Subjects: Software Engineering (cs.SE)

[42]  arXiv:2012.05085 [pdf, other]

Title: TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks

Authors: Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, Timofey Bryksin

Comments: 7 pages, 3 figures, accepted at SIGCSE TS 2021

Subjects: Software Engineering (cs.SE)

[43]  arXiv:2012.05231 [pdf, other]

Title: The Fulib Solution to the TTC 2020 Migration Case

Authors: Sebastian Copei, Albert Zündorf

Comments: Part of the 2020 Transformation Tool Contest

Subjects: Software Engineering (cs.SE)

[44]  arXiv:2012.05540 [pdf, ps, other]

Title: Integration of Security Modules in Software Development Lifecycle Phases

Authors: Isaac Chin Eian, Lim Ka Yong, Majesty Yeap Xiao Li, Noor Affan Bin Noor Hasmaddi, Fatima-tuz-Zahra

Subjects: Software Engineering (cs.SE)

[45]  arXiv:2012.05563 [pdf, other]

Title: Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers

Authors: Carianne Pretorius, Maryam Razavian, Katrin Eling, Fred Langerak

Comments: IEEE Software

Subjects: Software Engineering (cs.SE)

[46]  arXiv:2012.05987 [pdf, ps, other]

Title: Guiding Development Work Across a Software Ecosystem by Visualizing Usage Data

Authors: Christopher Bogart, James Howison, James Herbsleb

Comments: 12 pages, 2 figures; written in 2015

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[47]  arXiv:2012.06086 [pdf, ps, other]

Title: WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs

Authors: Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Changwoo Min, Dongyoon Lee

Subjects: Software Engineering (cs.SE)

[48]  arXiv:2012.06145 [pdf, ps, other]

Title: DevOps A Historical Review and Future Works

Authors: Mayank Gokarna, Raju Singh

Comments: 6 pages, 8 figures

Subjects: Software Engineering (cs.SE)

[49]  arXiv:2012.06264 [pdf, ps, other]

Title: A Comprehensive Study of Code-removal Patches in Automated Program Repair

Authors: Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus

Comments: New version of the manuscript

Journal-ref: Empirical Software Engineering, Springer, 2022

Subjects: Software Engineering (cs.SE)

[50]  arXiv:2012.06506 [pdf, other]

Title: IBIR: Bug Report driven Fault Injection

Authors: Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon

Subjects: Software Engineering (cs.SE)