Software Engineering

Authors and titles for April 2020

[1] arXiv:2004.00078 [pdf, other]

Title: Modeling the Realization and Execution of Functions and Functional Requirements

Sabah Al-Fedaghi

Comments: 12 pages, 31 figures

Journal-ref: International Journal of Computer Science and Information Security (IJCSIS), Vol. 18, No. 3, March 2020

Subjects: Software Engineering (cs.SE)

[2] arXiv:2004.00199 [pdf, other]

Title: GitHub Repositories with Links to Academic Papers: Public Access, Traceability, and Evolution

Supatsara Wattanakriengkrai, Bodin Chinthanet, Hideaki Hata, Raula Gaikovina Kula, Christoph Treude, Jin Guo, Kenichi Matsumoto

Comments: 28 pages

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

[3] arXiv:2004.00268 [pdf, other]

Title: The Impact of Dynamics of Collaborative Software Engineering on Introverts: A Study Protocol

Ingrid Nunes, Christoph Treude, Fabio Calefato

Comments: 5 pages

Journal-ref: 17th International Conference on Mining Software Repositories (MSR '20), October 5--6, 2020, Seoul, Republic of Korea

Subjects: Software Engineering (cs.SE)

[4] arXiv:2004.00289 [pdf, other]

Title: A Case Study on Tool Support for Collaboration in Agile Development

Fabio Calefato, Andrea Giove, Marco Losavio, Filippo Lanubile

Comments: 12 pages

Journal-ref: 15th IEEE/ACM International Conference on Global Software Engineering (ICGSE '20), October 5--6, 2020, Seoul, Republic of Korea

Subjects: Software Engineering (cs.SE)

[5] arXiv:2004.00300 [pdf, other]

Title: Can We Use SE-specific Sentiment Analysis Tools in a Cross-Platform Setting?

Nicole Novielli, Fabio Calefato, Davide Dongiovanni, Daniela Girardi, Filippo Lanubile

Comments: 12 pages

Journal-ref: 17th International Conference on Mining Software Repositories (MSR '20), October 5--6, 2020, Seoul, Republic of Korea

Subjects: Software Engineering (cs.SE)

[6] arXiv:2004.00701 [pdf, other]

Title: An Exploratory Study of Writing and Revising Explicit Programming Strategies

Maryam Arab, Thomas D LaToza, Amy J Ko

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

[7] arXiv:2004.00969 [pdf, other]

Title: FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms

Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann

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

[8] arXiv:2004.01099 [pdf, other]

Title: Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study

Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza T. Batista-Navarro

Comments: 75 pages

Subjects: Software Engineering (cs.SE)

[9] arXiv:2004.01315 [pdf, other]

Title: A Tertiary and Secondary Study Canvas

Bianca Minetto Napoleão, Fabio Petrillo, Sylvain Hallé

Subjects: Software Engineering (cs.SE)

[10] arXiv:2004.01478 [pdf, other]

Title: Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach

Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavik

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[11] arXiv:2004.01618 [pdf, other]

Title: Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler

Timofey Bryksin, Victor Petukhov, Ilya Alexin, Stanislav Prikhodko, Alexey Shpilman, Vladimir Kovalenko, Nikita Povarov

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

[12] arXiv:2004.01652 [pdf, other]

Title: Visualization of Methods Changeability Based on VCS Data

Sergey Svitkov, Timofey Bryksin

Subjects: Software Engineering (cs.SE)

[13] arXiv:2004.01770 [pdf, other]

Title: Software Engineering For Automated Game Design

Michael Cook

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

[14] arXiv:2004.01781 [pdf, other]

Title: Efficient Conformance Checking using Approximate Alignment Computation with Tandem Repeats

Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

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

[15] arXiv:2004.02000 [pdf, other]

Title: Efficiently Finding Higher-Order Mutants

Chu-Pan Wong, Jens Meinicke, Leo Chen, João P. Diniz, Christian Kästner, Eduardo Figueiredo

Subjects: Software Engineering (cs.SE)

[16] arXiv:2004.02589 [pdf, other]

Title: Software Defect Prediction Based On Deep Learning Models: Performance Study

Ahmad Hasanpour, Pourya Farzi, Ali Tehrani, Reza Akbari

Comments: 10 pages, 4 figures, 6 tables, 42 references

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

[17] arXiv:2004.02843 [pdf, other]

Title: Improved Code Summarization via a Graph Neural Network

Alexander LeClair, Sakib Haque, Lingfei Wu, Collin McMillan

Comments: 10 pages

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

[18] arXiv:2004.03120 [pdf, other]

Title: Ranking Computer Vision Service Issues using Emotion

Maheswaree K Curumsing, Alex Cummaudo, Ulrike Maria Graetsch, Scott Barnett, Rajesh Vasa

Subjects: Software Engineering (cs.SE)

[19] arXiv:2004.03347 [pdf, other]

Title: A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages

Théo Zimmermann (PI.R2, IRIF)

Comments: 3rd International Workshop on Software Health (SoHeal), May 2020, Seoul, South Korea

Subjects: Software Engineering (cs.SE)

[20] arXiv:2004.03666 [pdf, other]

Title: Compositional Formal Analysis Based on Conventional Engineering Models

Tyler D. Smith, Ryan Peroutka, Robert Edman

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[21] arXiv:2004.03727 [pdf, other]

Title: Towards Highly Scalable Runtime Models with History

Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese

Comments: 8 pages, 4 figures, 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)

Subjects: Software Engineering (cs.SE)

[22] arXiv:2004.03973 [pdf, other]

Title: Fluid Intelligence Doesn't Matter! Effects of Code Examples on the Usability of Crypto APIs

Kai Mindermann, Stefan Wagner

Comments: 2 pages

Journal-ref: In: 42nd International Conference on Software Engineering Companion (ICSE '20 Companion). ACM, 2020

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

[23] arXiv:2004.04206 [pdf, other]

Title: C++11/14 Mutation Operators Based on Common Fault Patterns

Ali Parsai, Serge Demeyer, Seph De Busser

Journal-ref: Testing Software and Systems. ICTSS 2018. Lecture Notes in Computer Science, vol 11146. (2018) Springer, Cham

Subjects: Software Engineering (cs.SE)

[24] arXiv:2004.04211 [pdf, other]

Title: Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

Ali Parsai, Serge Demeyer

Journal-ref: SOFSEM 2019: Theory and Practice of Computer Science. SOFSEM 2019. Lecture Notes in Computer Science, vol 11376. (2019) Springer, Cham

Subjects: Software Engineering (cs.SE)

[25] arXiv:2004.04389 [pdf, other]

Title: What an Agile Leader Does: The Group Dynamics Perspective

Lucas Gren, Magdalena Lindman

Comments: 16 pages

Journal-ref: Proceedings of the 21st International Conference on Agile Software Development (XP), Copenhagen, Denmark, June 8-12, 2020

Subjects: Software Engineering (cs.SE)

[26] arXiv:2004.04425 [pdf, other]

Title: Formal Modelling and Verification of Software Defined Network

Jnanamurthy H K, Vijay Varadharajan

Subjects: Software Engineering (cs.SE)

[27] arXiv:2004.04441 [pdf, other]

Title: Contract-based Hierarchical Resilience Management for Cyber-Physical Systems

Mohammad Shihabul Haque (1), Daniel Jun Xian Ng (1), Arvind Easwaran (1), Karthik Thangamariappan (2) ((1) Nanyang Technological University, Singapore, (2) Delta Electronics Inc., Singapore)

Comments: ©2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal-ref: Computer 11 (2018) 56-65

Subjects: Software Engineering (cs.SE)

[28] arXiv:2004.04442 [pdf, other]

Title: Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era

Sidharta Andalam (1), Daniel Jun Xian Ng (1), Arvind Easwaran (1), Karthik Thangamariappan (2) ((1) Nanyang Technological University, Singapore, (2) Delta Electronics Inc., Singapore)

Comments: ©2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal-ref: IEEE Embedded System Letters 11 (2019) 5-8

Subjects: Software Engineering (cs.SE)

[29] arXiv:2004.04444 [pdf, other]

Title: CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures

Sidharta Andalam (1), Daniel Jun Xian Ng (1), Arvind Easwaran (1), Karthik Thangamariappan (2) ((1) Nanyang Technological University, Singapore, (2) Delta Electronics Inc., Singapore)

Comments: ©2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Subjects: Software Engineering (cs.SE)

[30] arXiv:2004.04477 [pdf, other]

Title: Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems

Daniel Jun Xian Ng (1), Arvind Easwaran (1), Sidharta Andalam (2) ((1) Nanyang Technological University, Singapore, (2) Delta Electronics Inc., Singapore)

Comments: 2 pages, 5 figures, published in the Demo Session of IEEE International Conference on Cyber-Physical Systems 2019. Publication rights licensed to ACM

Subjects: Software Engineering (cs.SE)

[31] arXiv:2004.04500 [pdf, other]

Title: Towards Rigorous Validation of Energy Optimisation Experiments

Mahmoud A. Bokhari, Brad Alexander, Markus Wagner

Comments: 9 pages, 7 figures, to appear in GECCO 2020

Subjects: Software Engineering (cs.SE); Performance (cs.PF)

[32] arXiv:2004.04616 [pdf, other]

Title: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

Bruno Lima, João Pascoal Faria

Subjects: Software Engineering (cs.SE)

[33] arXiv:2004.04881 [pdf, other]

Title: Improved Automatic Summarization of Subroutines via Attention to File Context

Sakib Haque, Alexander LeClair, Lingfei Wu, Collin McMillan

Subjects: Software Engineering (cs.SE)

[34] arXiv:2004.05249 [pdf, other]

Title: Sequence Model Design for Code Completion in the Modern IDE

Gareth Ari Aye, Gail E. Kaiser

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

[35] arXiv:2004.05332 [pdf, other]

Title: A Procedure and Guidelines for Analyzing Groups of Software Engineering Replications

Adrian Santos, Sira Vegas, Markku Oivo, Natalia Juristo

Subjects: Software Engineering (cs.SE)

[36] arXiv:2004.05335 [pdf, other]

Title: Increasing Validity Through Replication: An Illustrative TDD Case

Adrian Santos, Sira Vegas, Fernando Uyaguari, Oscar Dieste, Burak Turhan, Natalia Juristo

Subjects: Software Engineering (cs.SE)

[37] arXiv:2004.05363 [pdf, other]

Title: WES: Agent-based User Interaction Simulation on Real Infrastructure

John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers

Comments: Author order is alphabetical. Correspondence to Mark Harman (markharman@fb.com). This paper appears in GI 2020: 8th International Workshop on Genetic Improvement

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Social and Information Networks (cs.SI)

[38] arXiv:2004.05654 [pdf, other]

Title: Workflow Automation for Cyber Physical System Development Processes

Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai

Comments: Accepted for Publication at DESTION 2020

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

[39] arXiv:2004.05705 [pdf, other]

Title: Are Game Engines Software Frameworks? A Three-perspective Study

Cristiano Politowski, Fabio Petrillo, João Eduardo Montandon, Marco Tulio Valente, Yann-Gaël Guéhéneuc

Subjects: Software Engineering (cs.SE)

[40] arXiv:2004.05847 [pdf, other]

Title: Is 40 the new 60? How popular media portrays the employability of older software developers

Sebastian Baltes, George Park, Alexander Serebrenik

Comments: 7 pages, 1 figure, 1 table, currently under review

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

[41] arXiv:2004.05851 [pdf, other]

Title: Detecting Latency Degradation Patterns in Service-based Systems

Vittorio Cortellessa, Luca Traini

Subjects: Software Engineering (cs.SE)

[42] arXiv:2004.05876 [pdf, other]

Title: Bibliometric Analysis of Agile Software Development

Fernando Almeida

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

[43] arXiv:2004.05934 [pdf, other]

Title: Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Subjects: Software Engineering (cs.SE)

[44] arXiv:2004.06174 [pdf, other]

Title: Understanding What Software Engineers Are Working on -- The Work-Item Prediction Challenge

Ralf Lämmel, Alvin Kerber, Liane Praza

Comments: This paper appears in Proceedings of 28th International Conference on Program Comprehension, ICPC 2020. The subject of the paper is covered by the first author's keynote at the same conference

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

[45] arXiv:2004.06183 [pdf, other]

Title: When to Update Systematic Literature Reviews in Software Engineering

Emilia Mendes, Claes Wohlin, Katia Felizardo, Marcos Kalinowski

Comments: Manuscript accepted for publication at the Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[46] arXiv:2004.06280 [pdf, other]

Title: An Analysis of Python's Topics, Trends, and Technologies Through Mining Stack Overflow Discussions

Hamed Tahmooresi, Abbas Heydarnoori, Alireza Aghamohammadi

Subjects: Software Engineering (cs.SE)

[47] arXiv:2004.06292 [pdf, other]

Title: Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications

Behnaz Hassanshahi, Hyunjun Lee, Paddy Krishnan, Jörn Güy Suß

Comments: 15 pages, 2 figures, 5 algorithms, 5 listings, 7 tables

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

[48] arXiv:2004.06381 [pdf, other]

Title: Test Automation Process Improvement in a DevOpsTeam: Experience Report

Yuqing Wang, Maaret Pyhäjärvi, Mika V. Mäntylä

Subjects: Software Engineering (cs.SE)

[49] arXiv:2004.07194 [pdf, other]

Title: Effective Removal of Operational Log Messages: an Application to Model Inference

Donghwan Shin, Domenico Bianculli, Lionel Briand

Subjects: Software Engineering (cs.SE)

[50] arXiv:2004.07313 [pdf, other]

Title: Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations

Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: Related to arXiv:2008.01566

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