Software Engineering

Authors and titles for January 2020

[1] arXiv:2001.00059 [pdf, other]

Title: Learning and Evaluating Contextual Embedding of Source Code

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

Comments: Published in ICML 2020. This version (v.3) is the final camera-ready version of the paper. It contains the re-computed results, based on the open-sourced datasets

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

[2] arXiv:2001.00219 [pdf, other]

Title: Business Value of ITSM. Requirement or Mirage?

James J. Cusick

Comments: 10 pages, 4 figures. Keywords. IT Service Management, ITSM, ITIL, ITIL 4, DevOps, IT Operations, Process Engineering, Process Improvement, Quality, Business Value, Metrics, GQM, Lean, Cost of Quality, Capability Maturity Models

Subjects: Software Engineering (cs.SE)

[3] arXiv:2001.00491 [pdf, other]

Title: Dataset of Video Game Development Problems

Cristiano Politowski, Fabio Petrillo, Gabriel Cavalheiro Ullmann, Josias de Andrade Werly, Yann-Gaël Guéhéneuc

Subjects: Software Engineering (cs.SE)

[4] arXiv:2001.00773 [pdf, other]

Title: CryptoExplorer: An Interactive Web Platform Supporting Secure Use of Cryptography APIs

Mohammadreza Hazhirpasand, Mohammad Ghafari, Oscar Nierstrasz

Comments: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). London, Ontario, Canada, February 18-21, 2020

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

[5] arXiv:2001.01223 [pdf, other]

Title: Unleashing the Potentials of Immersive Augmented Reality for Software Engineering

Leonel Merino, Mircea Lungu, Christoph Seidl

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

[6] arXiv:2001.01424 [pdf, other]

Title: Cross-Dataset Design Discussion Mining

Alvi Mahadi, Karan Tongay, Neil A. Ernst

Comments: accepted for SANER 2020, Feb, London, ON. 12 pages. Replication package: this https URL

Subjects: Software Engineering (cs.SE)

[7] arXiv:2001.01442 [pdf, other]

Title: Runtime Verification of Linux Kernel Security Module

Denis Efremov, Ilya Shchepetkov

Comments: 15 pages, 4 figures, 3 listings, OpenCERT 2019

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

[8] arXiv:2001.01477 [pdf, other]

Title: Using CEF Digital Service Infrastructures in the Smart4Health Project for the Exchange of Electronic Health Records

Tamara Slosarek, Attila Wohlbrandt, Erwin Böttinger

Comments: This work emerged in context of the Smart4Health project that is funded by the European Union's Horizon 2020 research and innovation programme under the grant agreement No. 826117. Published on Zenodo (2019, December 30)

Subjects: Software Engineering (cs.SE)

[9] arXiv:2001.01598 [pdf, other]

Title: Why and How to Balance Alignment and Diversity of Requirements Engineering Practices in Automotive

Rebekka Wohlrab, Eric Knauss, Patrizio Pelliccione

Comments: 19 pages

Journal-ref: Journal of Systems and Software, 2019, 110516, ISSN 0164-1212

Subjects: Software Engineering (cs.SE)

[10] arXiv:2001.01606 [pdf, other]

Title: The SmartSHARK Ecosystem for Software Repository Mining

Alexander Trautsch, Fabian Trautsch, Steffen Herbold, Benjamin Ledel, Jens Grabowski

Comments: Submitted to ICSE 2020 Demo Track

Subjects: Software Engineering (cs.SE)

[11] arXiv:2001.02092 [pdf, other]

Title: Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution

Fabian Bolte, Stefan Bruckner

Comments: This paper appears in: IEEE Transactions on Visualization and Computer Graphics

Subjects: Software Engineering (cs.SE)

[12] arXiv:2001.02444 [pdf, other]

Title: Learning to Encode and Classify Test Executions

Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis

Journal-ref: In Proceedings of the 36th Annual ACM Symposium on Applied Computing 2021 Mar 22 (pp. 1521-1531)

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

[13] arXiv:2001.02467 [pdf, other]

Title: Comparing Constraints Mined From Execution Logs to Understand Software Evolution

Thomas Krismayer, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Comments: 6 pages

Subjects: Software Engineering (cs.SE)

[14] arXiv:2001.02496 [pdf, other]

Title: Architecting Safe Automated Driving with Legacy Platforms

Naveen Mohan

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

[15] arXiv:2001.02553 [pdf, other]

Title: Perception and Acceptance of an Autonomous Refactoring Bot

Marvin Wyrich, Regina Hebig, Stefan Wagner, Riccardo Scandariato

Comments: 8 pages, 2 figures. To be published at 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

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

[16] arXiv:2001.02941 [pdf, other]

Title: Killing Stubborn Mutants with Symbolic Execution

Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[17] arXiv:2001.03038 [pdf, other]

Title: Logram: Efficient Log Parsing Using n-Gram Dictionaries

Hetong Dai (Concordia University), Heng Li (Queen's University), Weiyi Shang (Concordia University), Tse-Hsun Chen (Concordia University), Che-Shao Chen (Concordia University)

Comments: 13 pages, IEEE journal format

Subjects: Software Engineering (cs.SE)

[18] arXiv:2001.03277 [pdf, other]

Title: Searching a Database of Source Codes Using Contextualized Code Search

Rohan Mukherjee, Swarat Chaudhuri, Chris Jermaine

Subjects: Software Engineering (cs.SE)

[19] arXiv:2001.03338 [pdf, other]

Title: The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring

Maurício Aniche, Erick Maziero, Rafael Durelli, Vinicius Durelli

Comments: To appear in TSE

Subjects: Software Engineering (cs.SE)

[20] arXiv:2001.03356 [pdf, other]

Title: Agile Risk Management for Multi-Cloud Software Development

Victor Muntés-Mulero, Oscar Ripolles, Smrati Gupta, Jacek Dominiak, Eric Willeke, Peter Matthews, Balázs Somosköi

Comments: 11 pages and 7 images (+1 for the logo). This paper is a postprint of a paper submitted to and accepted for publication in IET Software (Vol. 13 , Iss. 3 , 6 2019) and issubject to Institution of Engineering and Technology Copyright. The copy of record is available at the IET Digital Library

Journal-ref: IET Software, 13(3), 172-181 (2018)

Subjects: Software Engineering (cs.SE)

[21] arXiv:2001.03442 [pdf, other]

Title: Optimizing the Efficiency of Accelerated Reliability Testing for the Internet Router Motherboard

Hanxiao Zhang, Shouzhou Liu, Yan-Fu Li

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

[22] arXiv:2001.04221 [pdf, other]

Title: Generating Class-Level Integration Tests Using Call Site Information

Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen

Subjects: Software Engineering (cs.SE)

[23] arXiv:2001.04314 [pdf, other]

Title: Formal specification of a security framework for smart contracts

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov

Comments: 12 pages, FMBC'19

Subjects: Software Engineering (cs.SE)

[24] arXiv:2001.04808 [pdf, other]

Title: Testing with Jupyter notebooks: NoteBook VALidation (nbval) plug-in for pytest

Hans Fangohr, Vidar Fauske, Thomas Kluyver, Maximilian Albert, Oliver Laslett, David Cortés-Ortuño, Marijan Beg, Min Ragan-Kelly

Comments: 12 pages, 3 figures

Subjects: Software Engineering (cs.SE)

[25] arXiv:2001.05254 [pdf, other]

Title: Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering

José Miguel Horcas Aguilera, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces

Comments: This research has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions H2020-MSCA-RISE-2015 BIRDS GA No. 690941

Journal-ref: Proc. of the 22st International Systems & Software Product Line Conference (SPLC 2018) vol.1, ACM Digital Library, Gothenburg (Sweden), 2018, pp. 196-207

Subjects: Software Engineering (cs.SE)

[26] arXiv:2001.06047 [pdf, other]

Title: Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions

Assaf Marron, Lior Limonad, Sarah Pollack, David Harel

Comments: 6 pages; 1 figure

Journal-ref: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Robotics (cs.RO)

[27] arXiv:2001.06426 [pdf, other]

Title: Eye of the Mind: Image Processing for Social Coding

Maleknaz Nayebi

Comments: This is the author's version of ICSE 2020 paper

Subjects: Software Engineering (cs.SE)

[28] arXiv:2001.06652 [pdf, other]

Title: Boundary Value Exploration for Software Analysis

Felix Dobslaw, Francisco Gomes de Oliveira Neto, Robert Feldt

Subjects: Software Engineering (cs.SE)

[29] arXiv:2001.06675 [pdf, other]

Title: An Interdisciplinary Guideline for the Production of Videos and Vision Videos by Software Professionals

Oliver Karras, Kurt Schneider

Comments: Technical report, 52 pages, 63 recommendations for producing generic videos, 52 recommendations for producing vision videos

Subjects: Software Engineering (cs.SE)

[30] arXiv:2001.06691 [pdf, other]

Title: Teaching Software Engineering for AI-Enabled Systems

Christian Kästner, Eunsuk Kang

Comments: to be published in ICSE-SEET 2020

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

[31] arXiv:2001.07076 [pdf, other]

Title: Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline

Tao Chen, Rami Bahsoon, Xin Yao

Comments: Accepted manuscript to the Proceedings of the IEEE. Please use the following citation: Tao Chen, Rami Bahsoon, and Xin Yao. 2020. Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline. Proc. IEEE, in press

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

[32] arXiv:2001.07125 [pdf, other]

Title: Checking Smart Contracts with Structural Code Embedding

Zhipeng Gao, Lingxiao Jiang, Xin Xia, David Lo, John Grundy

Subjects: Software Engineering (cs.SE)

[33] arXiv:2001.07283 [pdf, other]

Title: In-The-Field Monitoring of Functional Calls: Is It Feasible?

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

Subjects: Software Engineering (cs.SE)

[34] arXiv:2001.07399 [pdf, other]

Title: Towards Semantic Clone Detection via Probabilistic Software Modeling

Hannes Thaller, Lukas Linsbauer, Alexander Egyed

Comments: 6 pages, 2 figures, 2 tables, 3 listings, 14th International Workshop on Software Clones

Subjects: Software Engineering (cs.SE)

[35] arXiv:2001.07409 [pdf, other]

Title: Towards Fault Localization via Probabilistic Software Modeling

Hannes Thaller, Lukas Linsbauer, Alexander Egyed, Stefan Fischer

Comments: 4 pages, 3 figures, 2 tables, 3rd Workshop on Validation, Analysis and Evolution of Software Tests

Subjects: Software Engineering (cs.SE)

[36] arXiv:2001.07808 [pdf, other]

Title: A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem

César Soto-Valero, Nicolas Harrand, Martin Monperrus, Benoit Baudry

Comments: Manuscript submitted to Empirical Software Engineering (EMSE)

Journal-ref: Empirical Software Engineering, 2021

Subjects: Software Engineering (cs.SE)

[37] arXiv:2001.07869 [pdf, other]

Title: CDST: A Toolkit for Testing Cockpit Display Systems of Avionics

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Subjects: Software Engineering (cs.SE)

[38] arXiv:2001.07900 [pdf, other]

Title: Model-Based Cloud Resource Management with TOSCA and OCCI

Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle

Subjects: Software Engineering (cs.SE)

[39] arXiv:2001.07914 [pdf, other]

Title: Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results

Sahil Verma, Roland H.C. Yap

Journal-ref: ICTAI 2019

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

[40] arXiv:2001.08236 [pdf, other]

Title: Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities

Tao Chen, Miqing Li, Ke Li, Kalyanmoy Deb

Comments: submitted for publication

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

[41] arXiv:2001.08399 [pdf, other]

Title: An Android Application Risk Evaluation Framework Based on Minimum Permission Set Identification

Jianmao Xiao, Shizhan Chen, Qiang He, Zhiyong Feng, Xiao Xue

Subjects: Software Engineering (cs.SE)

[42] arXiv:2001.08525 [pdf, other]

Title: Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems

Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh

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

[43] arXiv:2001.08980 [pdf, other]

Title: Machine Learning and value generation in Software Development: a survey

Barakat. J. Akinsanya, Luiz J.P. Araújo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan, Manuel Mazzara, Ozioma Okonicha N, Daniil Shilintsev

Comments: To be published in the proceeding of International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)

Subjects: Software Engineering (cs.SE)

[44] arXiv:2001.09124 [pdf, other]

Title: Towards a Framework for Certification of Reliable Autonomous Systems

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

Comments: 66 pages

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

[45] arXiv:2001.09148 [pdf, other]

Title: Learning to Catch Security Patches

Arthur D. Sawadogo, Tegawendé F. Bissyandé, Naouel Moha, Kevin Allix, Jacques Klein, Li Li, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[46] arXiv:2001.09177 [pdf, other]

Title: Recognizing Developers' Emotions while Programming

Daniela Girardi, Nicole Novielli, Davide Fucci, Filippo Lanubile

Comments: Accepted for publication at ICSE2020 Technical Track

Journal-ref: In Proceedings of the 42nd International Conference on Software Engineering, Seoul, Republic of Korea, May 23-29, 2020 (ICSE '20),12 pages

Subjects: Software Engineering (cs.SE)

[47] arXiv:2001.09201 [pdf, other]

Title: Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings

Austin P. Wright, Herbert Wiklicky

Comments: 54 Pages, Imperial College London Masters Thesis

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

[48] arXiv:2001.09342 [pdf, other]

Title: Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing

Miroslav Bures, Pavel Herout, Bestoun S. Ahmed

Comments: 6 Pages

Journal-ref: ICST2020

Subjects: Software Engineering (cs.SE)

[49] arXiv:2001.09630 [pdf, other]

Title: Ammonia: An Approach for Deriving Project-specific Bug Patterns

Yoshiki Higo, Shinpei Hayashi, Hideaki Hata, Meiyappan Nagappan

Comments: 28 pages, Empirical Software Engineering

Journal-ref: Empirical Software Engineering, 25(3):1951-1979, 2020

Subjects: Software Engineering (cs.SE)

[50] arXiv:2001.09924 [pdf, other]

Title: Selecting Best Software Reliability Growth Models: A Social Spider Algorithm based Approach

Najla Akram AL-Saati, Marrwa Abd-AlKareem Alabajee

Comments: 9 pages

Journal-ref: International Journal of Computer Applications Volume 181 Number 8 August 2018

Subjects: Software Engineering (cs.SE)