Software Engineering

Authors and titles for cs.SE in Dec 2020, skipping first 75

[76]  arXiv:2012.09557 [pdf, other]

Title: A framework to semantify BPMN models using DEMO business transaction pattern

Authors: Sérgio Guerreiro, Pedro Sousa

Comments: 22 pages, 15 figures, models are available at this https URL, tool available at this https URL

Subjects: Software Engineering (cs.SE)

[77]  arXiv:2012.09590 [pdf, other]

Title: The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding

Authors: Marvin Wyrich, Andreas Preikschat, Daniel Graziotin, Stefan Wagner

Comments: To appear in: Proceedings of the 43rd International Conference on Software Engineering (ICSE '21), Madrid, Spain, 12 pages. 12 pages, 1 figure. Postprint, after peer review

Journal-ref: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021 pp. 512-523

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

[78]  arXiv:2012.09916 [pdf, other]

Title: RAICC: Revealing Atypical Inter-Component Communication in Android Apps

Authors: Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein

Comments: In the proceedings of the 43rd International Conference on Software Engineering 2021 (ICSE 2021)

Subjects: Software Engineering (cs.SE)

[79]  arXiv:2012.10095 [pdf, other]

Title: A First Look at Human Values-Violation in App Reviews

Authors: Humphrey O. Obie, Waqar Hussain, Xin Xia, John Grundy, Li Li, Burak Turhan, Jon Whittle, Mojtaba Shahin

Comments: 10 pages, Accepted for publication in IEEE/ACM 43nd International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), IEEE, 2021

Subjects: Software Engineering (cs.SE)

[80]  arXiv:2012.10126 [pdf, other]

Title: Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge

Authors: Leifeng He, Guanjun Liu

Comments: 23 pages, 17 figures, 4 tables, 56 references

Journal-ref: IEEE Transactions on Computational Social Systems 2022

Subjects: Software Engineering (cs.SE)

[81]  arXiv:2012.10154 [pdf, other]

Title: Neural Network Embeddings for Test Case Prioritization

Authors: João Lousada, Miguel Ribeiro

Comments: 11 pages, 6 figures and 2 tables

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

[82]  arXiv:2012.10206 [pdf, other]

Title: An Empirical Investigation of Command-Line Customization

Authors: Michael Schröder, Jürgen Cito

Journal-ref: Empir Software Eng 27, 30 (2022)

Subjects: Software Engineering (cs.SE)

[83]  arXiv:2012.10662 [pdf, other]

Title: Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith

Authors: Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: The 36th ACM/SIGAPP Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT'21)

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

[84]  arXiv:2012.10672 [pdf, other]

Title: A Declarative Metamorphic Testing Framework for Autonomous Driving

Authors: Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai liu, Miryung Kim, Tsong Yueh Chen

Subjects: Software Engineering (cs.SE)

[85]  arXiv:2012.10833 [pdf, ps, other]

Title: A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews

Authors: Katia R. Felizardo, Stephen G. MacDonell, Emília Mendes, José Carlos Maldonado

Comments: 12 pages, Journal, 14 tables, 4 figures

Journal-ref: Journal of Software (2012) 7(2), pp.450-461

Subjects: Software Engineering (cs.SE)

[86]  arXiv:2012.10836 [pdf, ps, other]

Title: Experience: Quality Benchmarking of Datasets Used in Software Effort Estimation

Authors: Michael F. Bosu, Stephen G. MacDonell

Comments: 26 pages, Journal, 13 tables, 5 figures

Journal-ref: ACM Journal of Data and Information Quality 11(4), pp.1-38 (Article 19), (2019)

Subjects: Software Engineering (cs.SE)

[87]  arXiv:2012.10839 [pdf, ps, other]

Title: Topics and Treatments in Global Software Engineering Research: A Systematic Snapshot

Authors: Bilal Raza, Stephen G. MacDonell, Tony Clear

Comments: 10 Pages, Conference, 7 Figres, 6 Tables

Journal-ref: Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2013)

Subjects: Software Engineering (cs.SE)

[88]  arXiv:2012.10854 [pdf, ps, other]

Title: Understanding Feasibility Study Approach for Packaged Software Implementation by SMEs

Authors: Issam Jebreen, Robert Wellington, Stephen G. MacDonell

Comments: 8 Pages, Conference, 1 Figure, 2 Tables

Journal-ref: Proceedings of the 22nd International Conference on Information Systems Development (ISD2013)

Subjects: Software Engineering (cs.SE)

[89]  arXiv:2012.10866 [pdf, other]

Title: Market-level Analysis of Government-backed COVID-19 Contact Tracing Apps

Authors: Huiyi Wang, Liu Wang, Haoyu Wang

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

[90]  arXiv:2012.10881 [pdf, ps, other]

Title: Software, Attacker and Asset-centric Approach for Improving Security in System Development Process

Authors: Abdul Hadi bin Abdul Rahman, Abdullah Nazir, Kim Tae Hyun, Tan Horng Yarng, Fatima-tuz-Zahra

Subjects: Software Engineering (cs.SE)

[91]  arXiv:2012.10951 [pdf, other]

Title: Predicting the Objective and Priority of Issue Reports in Software Repositories

Authors: Maliheh Izadi, Kiana Akbari, Abbas Heydarnoori

Subjects: Software Engineering (cs.SE)

[92]  arXiv:2012.11060 [pdf, other]

Title: Adversarial Patch Generation for Automated Program Repair

Authors: Abdulaziz Alhefdhi (1 and 2), Hoa Khanh Dam (1), Thanh Le-Cong (3), Bach Le (3), Aditya Ghose (1) ((1) University of Wollongong, (2) Prince Sattam bin Abdulaziz University, (3) The University of Melbourne)

Subjects: Software Engineering (cs.SE)

[93]  arXiv:2012.11144 [pdf, ps, other]

Title: An empirical analysis of success factors in the adaption of the scaled agile framework -- first outcomes from an empirical study

Authors: Dilshat Salikhov, Giancarlo Succi, Alexander Tormasov

Subjects: Software Engineering (cs.SE)

[94]  arXiv:2012.11182 [pdf, other]

Title: Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants

Authors: Andrea Fioraldi

Comments: This is a Master Thesis

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

[95]  arXiv:2012.11245 [pdf, other]

Title: Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

Authors: Mohannad Aldughaim, Kaled Alshmrany, Rafael Menezes, Lucas Cordeiro, Alexandru Stancu

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

[96]  arXiv:2012.11348 [pdf, other]

Title: AC2 -- Towards Understanding Architectural Changes in Rapid Releases

Authors: A Eashaan Rao, Dheeraj Vagavolu, Sridhar Chimalakonda

Comments: 4 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[97]  arXiv:2012.11364 [pdf, other]

Title: Reinforcement Learning for Test Case Prioritization

Authors: João Lousada, Miguel Ribeiro

Comments: 9 pages, 4 figures and 2 tables

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

[98]  arXiv:2012.12324 [pdf, other]

Title: Do We Need Improved Code Quality Metrics?

Authors: Tushar Sharma, Diomidis Spinellis

Subjects: Software Engineering (cs.SE)

[99]  arXiv:2012.12466 [pdf, other]

Title: A Framework for Conditional Statement Technical Debt Identification and Description

Authors: Abdulaziz Alhefdhi (1), Hoa Khanh Dam (1), Yusuf Sulistyo Nugroho (2), Hideaki Hata (3), Takashi Ishio (4), Aditya Ghose (1) ((1) University of Wollongong, (2) Universitas Muhammadiyah Surakarta, (3) Shinshu University, (4) Nara Institute of Science and Technology)

Journal-ref: Autom Softw Eng 29, 60 (2022)

Subjects: Software Engineering (cs.SE)

[100]  arXiv:2012.12590 [pdf, other]

Title: Crowdsmelling: The use of collective knowledge in code smells detection

Authors: José Pereira dos Reis, Fernando Brito e Abreu, Glauco de Figueiredo Carneiro

Journal-ref: Empirical Software Engineering, vol. 27, issue 69, pp. 1-35, Springer, March 2022

Subjects: Software Engineering (cs.SE)

[101]  arXiv:2012.12764 [pdf, other]

Title: All That Glitters Is Not Gold: Towards Process Discovery Techniques with Guarantees

Authors: Jan Martijn E. M. van der Werf, Artem Polyvyanyy, Bart R. van Wensveen, Matthieu Brinkhuis, Hajo A. Reijers

Comments: 13 pages, 4 figures. Submitted to the International Conference on Advanced Information Systems Engineering, 2021

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

[102]  arXiv:2012.13108 [pdf, ps, other]

Title: Implementation of Security Features in Software Development Phases

Authors: Ariessa Davaindran Lingham, Nelson Tang Kwong Kin, Chen Wan Jing, Chong Heng Loong, Fatima-tuz-Zahra

Subjects: Software Engineering (cs.SE)

[103]  arXiv:2012.13254 [pdf, ps, other]

Title: Designing a Socio-Technical Business Process for Analyzing Information Quality Requirements: Experience Report

Authors: Mohamad Gharib

Subjects: Software Engineering (cs.SE)

[104]  arXiv:2012.13516 [pdf, other]

Title: Fuzzing with Fast Failure Feedback

Authors: Rahul Gopinath, Bachir Bendrissou, Björn Mathis, Andreas Zeller

Comments: 12 pages, 6 figures

Subjects: Software Engineering (cs.SE)

[105]  arXiv:2012.13589 [pdf, ps, other]

Title: Mining user reviews of COVID contact-tracing apps: An exploratory analysis of nine European apps

Authors: Vahid Garousi, David Cutting, Michael Felderer

Subjects: Software Engineering (cs.SE)

[106]  arXiv:2012.13671 [pdf, other]

Title: Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

Authors: Abdelkader Khouass, Christian Attiogbé, Mohamed Messabihi

Subjects: Software Engineering (cs.SE)

[107]  arXiv:2012.13728 [pdf, other]

Title: Requirements of API Documentation: A Case Study into Computer Vision Services

Authors: Alex Cummaudo, Rajesh Vasa, John Grundy, Mohamed Abdelrazek

Comments: Early Access preprint for an upcoming issue of the IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[108]  arXiv:2012.14078 [pdf, other]

Title: API Misuse Detection An Immune System inspired Approach

Authors: Maxime Gallais-Jimenez, Hoan A. Nguyen, Mohamed Aymen Saied, Tien N. Nguyen, Houari Sahraoui

Comments: Paper submitted to Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[109]  arXiv:2012.14178 [pdf, other]

Title: Experiential Learning Approach for Software Engineering Courses at Higher Education Level

Authors: Javier Gonzalez-Huerta, Jefferson Seide Molleri, Aivars Šablis, Ehsan Zabardast

Comments: Submitted to Journal of Computing in Higher Education

Subjects: Software Engineering (cs.SE)

[110]  arXiv:2012.14237 [pdf, other]

Title: A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity

Authors: Thomas Vogel, Chinh Tran, Lars Grunske

Comments: Accepted Manuscript. arXiv admin note: text overlap with arXiv:1906.08142

Journal-ref: Information and Software Technology, Volume 130, February 2021, 106436

Subjects: Software Engineering (cs.SE)

[111]  arXiv:2012.14534 [pdf, ps, other]

Title: Research in Global Software Engineering: A Systematic Snapshot

Authors: Bilal Raza, Stephen G. MacDonell, Tony Clear

Comments: Book Chapter, 8 Pages, 6 figures, 6 tables. arXiv admin note: substantial text overlap with arXiv:2012.10839

Journal-ref: Evaluation of Novel Approaches to Software Engineering. J. Filipe and L.A. Maciaszek (eds.), Springer Berlin Heidelberg (2013), pp.126-140 [ISBN 978-3-642-54092- 9]

Subjects: Software Engineering (cs.SE)

[112]  arXiv:2012.14538 [pdf, ps, other]

Title: A Model for Software Contexts

Authors: Diana Kirk, Stephen G. MacDonell

Comments: Conference, 7 pages, 3 figures

Journal-ref: Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2013). Angers, France, SCITEPRESS, pp.197-204

Subjects: Software Engineering (cs.SE)

[113]  arXiv:2012.14631 [pdf, other]

Title: Multi-task Learning based Pre-trained Language Model for Code Completion

Authors: Fang Liu, Ge Li, Yunfei Zhao, Zhi Jin

Comments: Accepted by International Conference on Automated Software Engineering (ASE 2020)

Subjects: Software Engineering (cs.SE)

[114]  arXiv:2012.15153 [pdf, ps, other]

Title: Importance of Secure Software Development Processes and Tools for Developers

Authors: Muhammad Danish Roshaidie, William Pang Han Liang, Calvin Goh Kai Jun, Kok Hong Yew, Fatima-tuz-Zahra

Subjects: Software Engineering (cs.SE)

[115]  arXiv:2012.15342 [pdf, other]

Title: ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel

Authors: Patrick Franz, Thorsten Berger, Ibrahim Fayaz, Sarah Nadi, Evgeny Groshev

Subjects: Software Engineering (cs.SE)

[116]  arXiv:2012.15382 [pdf, other]

Title: Managed Information: A New Abstraction Mechanism for Handling Information in Software-as-a-Service

Authors: David H. Lorenz, Boaz Rosenan

Subjects: Software Engineering (cs.SE)

[117]  arXiv:2012.15407 [pdf, ps, other]

Title: Consolidating a Model for Describing Situated Software Practices

Authors: Diana Kirk, Stephen G. MacDonell, Ewan Tempero

Comments: Conference, 7 pages, 2 figures, 3 tables

Journal-ref: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2019). Porto, Portugal, SCITEPRESS, pp.402-409

Subjects: Software Engineering (cs.SE)

[118]  arXiv:2012.15533 [pdf, ps, other]

Title: Optimal Software Architecture From Initial Requirements: An End-to-End Approach

Authors: Ofir T. Erlich, David H. Lorenz

Subjects: Software Engineering (cs.SE)

[119]  arXiv:2012.15627 [pdf, other]

Title: FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades

Authors: Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: for associated video, see this http URL and FILO source code can be downloaded from this https URL . In the International Conference on Automated Software Engineering (2020)

Subjects: Software Engineering (cs.SE)

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

Title: TracerX: Dynamic Symbolic Execution with Interpolation

Authors: Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha

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

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

Title: VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts

Authors: Shuyu Zheng, Haoyu Wang, Lei Wu, Gang Huang, Xuanzhe Liu

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

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

Title: Privacy-Preserving Directly-Follows Graphs: Balancing Risk and Utility in Process Mining

Authors: Gamal Elkoumy, Alisa Pankova, Marlon Dumas

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

[123]  arXiv:2012.01144 (cross-list from cs.CY) [pdf, ps, other]

Title: The CROSS Incubator: A Case Study for funding and training RSEs

Authors: Stephanie Lieggi, Ivo Jimenez, Jeff LeFevre, Carlos Maltzahn

Comments: Presented at RSE-HPC 2020: Research Software Engineers in HPC - Creating Community, Building Careers, Addressing Challenges, co-located with SC20, Virtual, November 12, 2020

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

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

Title: How to Formally Model Human in Collaborative Robotics

Authors: Mehrnoosh Askarpour (McMaster University)

Comments: In Proceedings FMAS 2020, arXiv:2012.01176

Journal-ref: EPTCS 329, 2020, pp. 1-14

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

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

Title: Cognitive Capabilities for the CAAI in Cyber-Physical Production Systems

Authors: Jan Strohschein, Andreas Fischbach, Andreas Bunte, Heide Faeskorn-Woyke, Natalia Moriz, Thomas Bartz-Beielstein

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