Software Engineering

Authors and titles for August 2019

[51] arXiv:1908.09804 [pdf, other]

Title: Neural Code Search Evaluation Dataset

Hongyu Li, Seohyun Kim, Satish Chandra

Subjects: Software Engineering (cs.SE)

[52] arXiv:1908.09876 [pdf, other]

Title: BULNER: BUg Localization with word embeddings and NEtwork Regularization

Jacson Rodrigues Barbosa, Ricardo Marcondes Marcacini, Ricardo Britto, Frederico Soares, Solange Rezende, Auri M. R. Vincenzi, Marcio E. Delamaro

Comments: VII Workshop on Software Visualization, Evolution and Maintenance (VEM '19)

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

[53] arXiv:1908.09878 [pdf, other]

Title: Slither: A Static Analysis Framework For Smart Contracts

Josselin Feist, Gustavo Grieco, Alex Groce

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

[54] arXiv:1908.10041 [pdf, other]

Title: SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode

Eduardo Geraldo (NOVA LINCS - Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa), João Costa Seco (NOVA LINCS - Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa)

Comments: In Proceedings VORTEX 2018, arXiv:1908.09302

Journal-ref: EPTCS 302, 2019, pp. 16-31

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

[55] arXiv:1908.10042 [pdf, other]

Title: Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

Wolfgang Ahrendt (Chalmers University of Technology), Ludovic Henrio (Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP), Wytse Oortwijn (University of Twente)

Comments: In Proceedings VORTEX 2018, arXiv:1908.09302

Journal-ref: EPTCS 302, 2019, pp. 32-46

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

[56] arXiv:1908.10156 [pdf, other]

Title: Constructing a Maturity Model for a Distributed Software Organization

Bartosz Walter, Marcin Wolski, Žarko Stanisavljević, Andrijana Todosijević

Comments: 12 pages; preprint of EuroSPI 2019 paper

Subjects: Software Engineering (cs.SE)

[57] arXiv:1908.10337 [pdf, other]

Title: Continuous Architecting with Microservices and DevOps: A Systematic Mapping Study

Davide Taibi, Valentina Lenarduzzi, Claus Pahl

Comments: this paper was mistakenly uploaded as arXiv:1908.04101v2, which has been subsequently replaced to the correct state

Journal-ref: Cloud Computing and Services Science. CLOSER 2018 Selected papers. Communications in Computer and Information Science, vol 1073, pp. 126-151, Springer. 2019

Subjects: Software Engineering (cs.SE)

[58] arXiv:1908.10481 [pdf, other]

Title: K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers

Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: ASE 2019 Late Breaking Results

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

[59] arXiv:1908.10738 [pdf, other]

Title: Modular Verification of Autonomous Space Robotics

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

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

[60] arXiv:1908.10743 [pdf, other]

Title: On Distributed Runtime Verification by Aggregate Computing

Giorgio Audrito (University of Turin, Italy), Ferruccio Damiani (University of Turin, Italy), Volker Stolz (Western Norway University of Applied Sciences, Norway), Mirko Viroli (University of Bologna, Italy)

Comments: In Proceedings VORTEX 2018, arXiv:1908.09302

Journal-ref: EPTCS 302, 2019, pp. 47-61

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[61] arXiv:1908.10754 [pdf, other]

Title: A Semantic Schema for Data Quality Management in a Multi-Tenant Data Platform

Ning Zhou, Sandra Garcia Esparza, Lars Marius Garshol

Subjects: Software Engineering (cs.SE)

[62] arXiv:1908.10816 [pdf, other]

Title: On building an automated responding system for app reviews: What are the characteristics of reviews and their responses?

Phong Minh Vu, Tam The Nguyen, Tung Thanh Nguyen

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

[63] arXiv:1908.11179 [pdf, other]

Title: ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems

Danny Weyns, M. Usman Iftikhar

Comments: 47 pages

Subjects: Software Engineering (cs.SE)

[64] arXiv:1908.11297 [pdf, other]

Title: Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform

Domenico Cotroneo, Luigi De Simone, Antonio Ken Iannillo, Roberto Natella, Stefano Rosiello, Nematollah Bidokhti

Comments: 14 pages, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

Subjects: Software Engineering (cs.SE)

[65] arXiv:1908.11431 [pdf, other]

Title: A Methodology for Analyzing Uptake of Software Technologies Among Developers

Yuxing Ma, Audris Mockus, Beth Milhollin, Russel Zaretzki, Randy Bradley, Bogdan Bichescu

Comments: 5 figures, 15 pages

Subjects: Software Engineering (cs.SE)

[66] arXiv:1908.11590 [pdf, other]

Title: Some SonarQube Issues have a Significant but SmallEffect on Faults and Changes. A large-scale empirical study

Valentina Lenarduzzi, Nyyti Saarimäki, Davide Taibi

Journal-ref: Journal of Systems and Software Volume 170, December 2020, 110750

Subjects: Software Engineering (cs.SE)

[67] arXiv:1908.11597 [pdf, other]

Title: An Empirical Study into the Success of Listed Smart Contracts in Ethereum

Pieter Hartel, Ivan Homoliak, Daniël Reijsbergen

Comments: Keywords: Blockchain, Ethereum, Smart contracts, New product development, Business success, Recommendations for developers

Subjects: Software Engineering (cs.SE)

[68] arXiv:1908.11640 [pdf, other]

Title: Enhancing Failure Propagation Analysis in Cloud Computing Systems

Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, Nematollah Bidokhti

Comments: 12 pages, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

Subjects: Software Engineering (cs.SE)

[69] arXiv:1908.11685 [pdf, other]

Title: Using LSTMs to Model the Java Programming Language

Brendon Boldt

Comments: 9 pages, 2 figures

Journal-ref: Artificial Neural Networks and Machine Learning -- ICANN 2017. ICANN 2017. Lecture Notes in Computer Science, vol 10614

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

[70] arXiv:1908.11791 [pdf, other]

Title: Requirements Engineering Challenges in Building AI-Based Complex Systems

Hrvoje Belani, Marin Vuković, Željka Car

Comments: 4 pages, 1 table, Sixth International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'19)

Subjects: Software Engineering (cs.SE)

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

Title: Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski

Comments: arXiv admin note: text overlap with arXiv:1804.06760

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

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

Title: The Impact of Developer Experience in Using Java Cryptography

Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz

Comments: The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)

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

[73] arXiv:1908.02108 (cross-list from cs.NI) [pdf, other]

Title: WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services

Michael J. May, Kevin D. Lux, Carl A. Gunter

Comments: 18 pages, 17 figures, followup work to WSEmail: Secure Internet Messaging Based on Web Services in IEEE International Conference on Web Services (ICWS) 2005. Extended version of article to appear in Service Oriented Computing and Applications

Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)

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

Title: Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems

Hiroshi Kuwajima, Fuyuki Ishikawa

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

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

Title: Semantic interoperability and characterization of data provenance in computational molecular engineering

M. T. Horsch, C. Niethammer, G. Boccardo, P. Carbone, S. Chiacchiera, M. Chiricotto, J. D. Elliott, V. Lobaskin, P. Neumann, P. Schiffels, M. A. Seaton, I. T. Todorov, J. Vrabec, W. L. Cavalcanti

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

[76] arXiv:1908.04122 (cross-list from cs.DL) [pdf, other]

Title: Citations in Software Engineering -- Paper-related, Journal-related, and Author-related Factors

Mika Mäntylä, Vahid Garousi

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

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

Title: Towards Security as a Service to Protect the Critical Resources of Mobile Computing Devices

Abdulrahman Alreshidi

Comments: International Journal of Computer Science and Telecommunications [Volume 9, Issue 6, November 2018]

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

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

Title: Requirements Engineering for Machine Learning: Perspectives from Data Scientists

Andreas Vogelsang, Markus Borg

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

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

Title: Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions

Tim Soethout (ING Bank / Centrum Wiskunde & Informatica (CWI), Netherlands), Tijs van der Storm (Centrum Wiskunde & Informatica (CWI) / Universiteit Groningen, Netherlands), Jurgen Vinju (Centrum Wiskunde & Informatica (CWI) / TU Eindhoven, Netherlands)

Journal-ref: The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 1, Article 3

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

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

Title: Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini

Journal-ref: Proceedings of 30th IEEE International Symposium on Software Reliability Engineering (ISSRE 2019)

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

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

Title: Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild

Filip Křikava, Heather Miller, Jan Vitek

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

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

Title: Design Space of Behaviour Planning for Autonomous Driving

Marko Ilievski, Sean Sedwards, Ashish Gaurav, Aravind Balakrishnan, Atrisha Sarkar, Jaeyoung Lee, Frédéric Bouchard, Ryan De Iaco, Krzysztof Czarnecki

Comments: 8 pages, 6 figures

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

[83] arXiv:1908.08026 (cross-list from cs.NE) [pdf, other]

Title: Refactoring Neural Networks for Verification

David Shriver, Dong Xu, Sebastian Elbaum, Matthew B. Dwyer

Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: On the importance of system-view centric validation for the design and operation of a crypto-based digital economy

Alexander Poddey, Nik Scharmann

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

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

Title: AIBench: An Industry Standard Internet Service AI Benchmark Suite

Wanling Gao, Fei Tang, Lei Wang, Jianfeng Zhan, Chunxin Lan, Chunjie Luo, Yunyou Huang, Chen Zheng, Jiahui Dai, Zheng Cao, Daoyi Zheng, Haoning Tang, Kunlin Zhan, Biao Wang, Defei Kong, Tong Wu, Minghe Yu, Chongkang Tan, Huan Li, Xinhui Tian, Yatao Li, Junchao Shao, Zhenyu Wang, Xiaoyu Wang, Hainan Ye

Comments: 24 pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Performance (cs.PF); Software Engineering (cs.SE)

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

Title: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution

Davide Ancona (DIBRIS, University of Genova, Italy), Gordon Pace (Department of Computer Science, University of Malta)

Journal-ref: EPTCS 302, 2019

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

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

Title: Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach

Frank S. de Boer (CWI Amsterdam, The Netherlands), Elena Giachino (University of Bologna, Italy), Stijn de Gouw (The Open University, The Netherlands), Reiner Hähnle (Technical University of Darmstadt, Germany), Einar Broch Johnsen (University of Oslo, Norway), Cosimo Laneve (University of Bologna, Italy), Ka I Pun (Western Norway University of Applied Sciences, University of Oslo, Norway), Gianluigi Zavattaro (University of Bologna, Italy)

Comments: In Proceedings VORTEX 2018, arXiv:1908.09302

Journal-ref: EPTCS 302, 2019, pp. 1-15

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

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

Title: Towards Constraint Logic Programming over Strings for Test Data Generation

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Comments: Part of DECLARE 19 proceedings

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

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

Title: Testing Neural Program Analyzers

Md Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour

Comments: ASE 2019 Late Breaking Results

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

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

Title: Immutable Log Storage as a Service

William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy Miranskyy

Journal-ref: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings , 2019

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