Software Engineering

Authors and titles for March 2020

[1] arXiv:2003.00032 [pdf, other]

Title: Declarative Stream Runtime Verification (hLola)

Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez

Comments: 21 pages, 1 figure

Subjects: Software Engineering (cs.SE)

[2] arXiv:2003.00154 [pdf, other]

Title: Automated Regression Unit Test Generation for Program Merges

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang

Subjects: Software Engineering (cs.SE)

[3] arXiv:2003.00257 [pdf, other]

Title: ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

Pengcheng Zhang, Jianan Yu, Shunhui Ji

Journal-ref: Published as a conference paper at 3rd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2020

Subjects: Software Engineering (cs.SE)

[4] arXiv:2003.00399 [pdf, other]

Title: The cross cyclomatic complexity: a bi-dimensional measure for program complexity on graphs

Hugo Tremblay, Fabio Petrillo

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

[5] arXiv:2003.00447 [pdf, other]

Title: Longitudinal Evaluation of Open-Source Software Maintainability

Arthur-Jozsef Molnar, Simona Motogna

Subjects: Software Engineering (cs.SE)

[6] arXiv:2003.00463 [pdf, other]

Title: Experience in engineering of scientific software: The case of an optimization software for oil pipelines

Vahid Garousi, Ehsan Abbasi, Bedir Tekinerdogan

Subjects: Software Engineering (cs.SE)

[7] arXiv:2003.00584 [pdf, other]

Title: Change Point Detection in Software Performance Testing

David Daly, William Brown, Henrik Ingo, Jim O'Leary, David Bradford

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

[8] arXiv:2003.00643 [pdf, other]

Title: A Systematic Literature Review of Modern Software Visualization

Noptanit Chotisarn, Leonel Merino, Xu Zheng, Supaporn Lonapalawong, Tianye Zhang, Mingliang Xu, Wei Chen

Subjects: Software Engineering (cs.SE)

[9] arXiv:2003.00789 [pdf, other]

Title: Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1

Robin Bloomfield (1 and 2), Gareth Fletcher (1), Heidy Khlaaf (1), Philippa Ryan (1), Shuji Kinoshita (3), Yoshiki Kinoshit (3), Makoto Takeyama (3), Yutaka Matsubara (4), Peter Popov (2)Kazuki Imai (5), Yoshinori Tsutake (5) ((1) Adelard LLP, (2) City University of London, (3) Kanagawa University, (4) Nagoya University, (5) Witz Corporation)

Comments: Authors of individual Topic Notes are indicated in the body of the report

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY)

[10] arXiv:2003.00790 [pdf, other]

Title: Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2

Robin Bloomfield (1 and 2), Gareth Fletcher (1), Heidy Khlaaf (1), Philippa Ryan (1), Shuji Kinoshita (3), Yoshiki Kinoshit (3), Makoto Takeyama (3), Yutaka Matsubara (4), Peter Popov (2)Kazuki Imai (5), Yoshinori Tsutake (5) ((1) Adelard LLP, (2) City University of London, (3) Kanagawa University, (4) Nagoya University, (5) Witz Corporation)

Comments: Authors of the individual notes are indicated in the text

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

[11] arXiv:2003.00791 [pdf, other]

Title: Design of Mutation Operators for Testing Geographic Information Systems

Suilen H. Alvarado

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

Journal-ref: Publishing Institute Proceedings. Vol. 21. No. 1. 2019

Subjects: Software Engineering (cs.SE)

[12] arXiv:2003.00919 [pdf, other]

Title: Examining user reviews of conversational systems: a case study of Alexa skills

Soodeh Atefi, Andrew Truelove, Matheus Rheinschmitt, Eduardo Almeida, Iftekhar Ahmed, Amin Alipour

Comments: Draft

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

[13] arXiv:2003.00944 [pdf, other]

Title: Path homology as a stronger analogue of cyclomatic complexity

Steve Huntsman

Subjects: Software Engineering (cs.SE); Algebraic Topology (math.AT)

[14] arXiv:2003.00976 [pdf, other]

Title: Topological Differential Testing

Kristopher Ambrose, Steve Huntsman, Michael Robinson, Matvey Yutin

Comments: Fixed Figure 5 (was flipped)

Subjects: Software Engineering (cs.SE); Algebraic Topology (math.AT)

[15] arXiv:2003.01153 [pdf, other]

Title: Which Pull Requests Get Accepted and Why? A study of popular NPM Packages

Tapajit Dey, Audris Mockus

Subjects: Software Engineering (cs.SE)

[16] arXiv:2003.01155 [pdf, other]

Title: Towards Probability-based Safety Verification of Systems with Components from Machine Learning

Hermann Kaindl, Stefan Kramer

Comments: Second (revised) version for public access

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

[17] arXiv:2003.01182 [pdf, other]

Title: Assessing Software Defection Prediction Performance: Why Using the Matthews Correlation Coefficient Matters

Jingxiu Yao, Martin Shepperd

Comments: EASE 2020, April 15--17, 2020, Trondheim, Norway

Subjects: Software Engineering (cs.SE)

[18] arXiv:2003.01483 [pdf, other]

Title: Modeling and Selection of Interdependent Software Requirements using Fuzzy Graphs

Davoud Mougouei, David M. W. Powers

Journal-ref: International Journal of Fuzzy Systems, pp. 1-17, 2017

Subjects: Software Engineering (cs.SE)

[19] arXiv:2003.01627 [pdf, other]

Title: Exploring the Efficacy of Transfer Learning in Mining Image-Based Software Artifacts

Natalie Best, Jordan Ott, Erik Linstead

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

[20] arXiv:2003.01824 [pdf, other]

Title: Dependency-Aware Release Planning for Software Projects using Fuzzy Graphs and Integer Programming

Davoud Mougouei, David M W Powers

Journal-ref: Journal of Intelligent & Fuzzy Systems (2019) 1-15

Subjects: Software Engineering (cs.SE)

[21] arXiv:2003.02054 [pdf, other]

Title: Semantic Web Environments for Multi-Agent Systems: Enabling agents to use Web of Things via semantic web

Alaa Daoud

Comments: Internship report submitted for the degree of master in computer science <<Cyber-Physical-Social Systems (CPS2)>> - Université Jean Monnet - Saint Étienne - August 2018

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

[22] arXiv:2003.02590 [pdf, other]

Title: Some Aspects of a Software Reliability Problem

Anton Petrov, Elena Popova, Alexander Petrov

Subjects: Software Engineering (cs.SE)

[23] arXiv:2003.02603 [pdf, other]

Title: Microservice Decomposition via Static and Dynamic Analysis of the Monolith

Alexander Krause, Christian Zirkelbach, Wilhelm Hasselbring, Stephan Lenga, Dan Kröger

Subjects: Software Engineering (cs.SE)

[24] arXiv:2003.02619 [pdf, other]

Title: Measuring the Quality of B Abstract Machines with ISO/IEC 25010

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Comments: 11 pages, 1 figure, 1 table

Subjects: Software Engineering (cs.SE)

[25] arXiv:2003.03001 [pdf, other]

Title: The Cost and Benefits of Static Analysis During Development

William R. Nichols Jr

Comments: 10 pages plus feferences

Subjects: Software Engineering (cs.SE)