Software Engineering

Authors and titles for May 2018

[1] arXiv:1805.00090 [pdf, other]

Title: Using Multi Expression Programming in Software Effort Estimation

Najla Akram, AL-Saati, Taghreed Riyadh Alreffaee

Journal-ref: International Journal of Recent Research and Review, Vol. X, Issue 2, June 2017

Subjects: Software Engineering (cs.SE)

[2] arXiv:1805.00200 [pdf, other]

Title: Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao

Comments: 9 pages, 1 figure, to be presented at FM2018

Journal-ref: Formal Methods. FM 2018. Lecture Notes in Computer Science, vol 10951. Springer, Cham

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

[3] arXiv:1805.00336 [pdf, other]

Title: Hyperparameter Optimization for Effort Estimation

Tianpei Xia, Rahul Krishna, Jianfeng Chen, George Mathew, Xipeng Shen, Tim Menzies

Comments: Submitted to EMSE

Subjects: Software Engineering (cs.SE)

[4] arXiv:1805.01021 [pdf, other]

Title: Online and Offline Analysis of Streaming Data

Sheik Hoque, Andriy Miranskyy

Journal-ref: In the proceedings of IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2018)

Subjects: Software Engineering (cs.SE)

[5] arXiv:1805.01025 [pdf, other]

Title: Architecture for Analysis of Streaming Data

Sheik Hoque, Andriy Miranskyy

Journal-ref: In the proceedings of The IEEE International Conference on Cloud Engineering (IC2E) 2018

Subjects: Software Engineering (cs.SE)

[6] arXiv:1805.01120 [pdf, other]

Title: Data Driven Reference Architecture for Smart City Ecosystems

Mohammad Abu-Matar, John Davies

Comments: 7 pages, 4 figures, The 1st IEEE International Conference on Smart City Innovations, 2017

Subjects: Software Engineering (cs.SE)

[7] arXiv:1805.01132 [pdf, other]

Title: Poster: Identification of Methods with Low Fault Risk

Rainer Niedermayr, Tobias Röhm, Stefan Wagner

Comments: ICSE 2018 Poster Track

Journal-ref: 2018 IEEE/ACM International Conference on Software Engineering Companion (ICSE Companion)

Subjects: Software Engineering (cs.SE)

[8] arXiv:1805.01176 [pdf, other]

Title: On Collaborative Model-driven Development of Microservices

Jonas Sorgalla, Florian Rademacher, Sabine Sachweh, Albert Zündorf

Comments: 8 pages, submitted to the MSE Workshop @ STAF2018

Subjects: Software Engineering (cs.SE)

[9] arXiv:1805.01241 [pdf, other]

Title: Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Miroslav Bures, Tomas Cerny, Bestoun S. Ahmed

Comments: 10 pages Internet of Things (IoT)

Journal-ref: 9th iCatse Conference on Information Science and Applications 2018

Subjects: Software Engineering (cs.SE)

[10] arXiv:1805.01342 [pdf, other]

Title: Open Source Development Around the World: A Comparative Study

Thais Mombach, Marco Tulio Valente, Cuiting Chen, Magiel Bruntink, Gustavo Pinto

Comments: 11 pages, 8 pages

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

[11] arXiv:1805.01965 [pdf, other]

Title: Characterizing the Usage, Evolution and Impact of Java Annotations in Practice

Zhongxing Yu, Chenggang Bai, Lionel Seinturier, Martin Monperrus

Comments: TO APPEAR IN IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Journal-ref: IEEE Transactions on Software Engineering, 2019

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

[12] arXiv:1805.02544 [pdf, other]

Title: Need for Sleep: the Impact of a Night of Sleep Deprivation on Novice Developers' Performance

Davide Fucci, Giuseppe Scanniello, Simone Romano, Natalia Juristo

Comments: Accepted to IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[13] arXiv:1805.02742 [pdf, other]

Title: Fifty Years of Software Engineering - or - The View from Garmisch

Brian Randell

Subjects: Software Engineering (cs.SE)

[14] arXiv:1805.02744 [pdf, other]

Title: Effective Automated Decision Support for Managing Crowdtesting

Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, Qing Wang

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[15] arXiv:1805.02763 [pdf, other]

Title: Cutting Away the Confusion From Crowdtesting

Junjie Wang, Mingyang Li, Song Wang, Tim Menzies, Qing Wang

Comments: 12 pages

Journal-ref: Information and Software Technology. 110 (2019). 139-155

Subjects: Software Engineering (cs.SE)

[16] arXiv:1805.02769 [pdf, other]

Title: T-Reqs: Tool Support for Managing Requirements in Large-Scale Agile System Development

Eric Knauss, Grischa Liebel, Jennifer Horkoff, Rebekka Wohlrab, Rashidah Kasauli, Filip Lange, Pierre Gildert

Comments: Accepted for publication in Proc. of 26th IEEE Int. Requirements Eng. Conf., Demo Track, Banff, Alberta, Canada, 2018

Subjects: Software Engineering (cs.SE)

[17] arXiv:1805.02868 [pdf, other]

Title: Statistical Dimension Identification and Implementation for Student Progression System

Harkiran Kaur, Aanchal Phutela

Journal-ref: May 2, 2018

Subjects: Software Engineering (cs.SE)

[18] arXiv:1805.03218 [pdf, other]

Title: Crowdtesting : When is The Party Over?

Junjie Wang, Ye Yang, Zhe Yu, Tim Menzies, Qing Wang

Comments: 12 pages

Journal-ref: iSENSE: completion-aware crowdtesting management. ICSE 2019: 912-923

Subjects: Software Engineering (cs.SE)

[19] arXiv:1805.03241 [pdf, other]

Title: Towards blockchain-based robonomics: autonomous agents behavior validation

Konstantin Danilov, Ruslan Rezin, Alexander Kolotov, Ilya Afanasyev

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

[20] arXiv:1805.03243 [pdf, other]

Title: A Focused Mapping Study on Customization in Interactive Technologies for Autism

Roberto E. Lopez-Herrejon, Gerardo Herrera, Javier Sevilla

Comments: 22 pages

Subjects: Software Engineering (cs.SE)

[21] arXiv:1805.03296 [pdf, other]

Title: Robustness Testing of Intermediate Verifiers

Yu-Ting Chen, Carlo A. Furia

Subjects: Software Engineering (cs.SE)

[22] arXiv:1805.03386 [pdf, other]

Title: A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation

Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser

Comments: This document corresponds to the accepted manuscript of the referenced journal article

Journal-ref: JVLC, vol. 38, 2017, pp. 47-83, ISSN 1045-926X

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

[23] arXiv:1805.03449 [pdf, other]

Title: Personalization of Computer-Based Technologies for Autism: An Open Challenge for Software Engineering?

Roberto E. Lopez-Herrejon, Gerardo Herrera, Javier Sevilla

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1805.03243

Subjects: Software Engineering (cs.SE)

[24] arXiv:1805.03450 [pdf, other]

Title: Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE

John Galea, Sean Heelan, Daniel Neville, Daniel Kroening

Subjects: Software Engineering (cs.SE)

[25] arXiv:1805.03454 [pdf, other]

Title: A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark

He Ye, Matias Martinez, Thomas Durieux, Martin Monperrus

Journal-ref: Journal of Systems and Software, 2021

Subjects: Software Engineering (cs.SE)

[26] arXiv:1805.03549 [pdf, other]

Title: Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures

Sona Ghahremani, Holger Giese, Thomas Vogel

Journal-ref: International Conference on Autonomic Computing. ICAC '17. IEEE, 2017, pp. 59-68

Subjects: Software Engineering (cs.SE)

[27] arXiv:1805.03599 [pdf, other]

Title: Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures

Sona Ghahremani, Holger Giese, Thomas Vogel

Journal-ref: In: International Conference on Self-Adaptive and Self-Organizing Systems. SASO '16. IEEE, 2016, pp. 142-143

Subjects: Software Engineering (cs.SE)

[28] arXiv:1805.03844 [pdf, other]

Title: Human Capital in Software Engineering: A Systematic Mapping of Reconceptualized Human Aspect Studies

Saya Onoue, Hideaki Hata, Raula Gaikovina Kula, Kenichi Matsumoto

Comments: 35 pages

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[29] arXiv:1805.04207 [pdf, other]

Title: AIWC: OpenCL-based Architecture-Independent Workload Characterisation

Beau Johnston, Josh Milthorpe

Comments: 11 pages, 3 figures, LLVM-HPC2018

Subjects: Software Engineering (cs.SE)

[30] arXiv:1805.04333 [pdf, other]

Title: Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems

Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka

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

[31] arXiv:1805.04342 [pdf, other]

Title: Semiotic internationalization and localization of computer programs

Simone Santini

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[32] arXiv:1805.04473 [pdf, other]

Title: Statically Verifying Continuous Integration Configurations

Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac

Subjects: Software Engineering (cs.SE)

[33] arXiv:1805.04825 [pdf, other]

Title: Deep Learning in Software Engineering

Xiaochen Li, He Jiang, Zhilei Ren, Ge Li, Jingxuan Zhang

Comments: 10 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[34] arXiv:1805.05026 [pdf, other]

Title: A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation

Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser

Comments: Corresponds to the accepted manuscript

Journal-ref: Software and Systems Modeling (SoSyM), pp. 1-41, 2017, ISSN 1619-1374

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

[35] arXiv:1805.05206 [pdf, other]

Title: DeepMutation: Mutation Testing of Deep Learning Systems

Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

Comments: he 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)

Journal-ref: DeepMutation: Mutation Testing of Deep Learning Systems. In Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), October 15-18, 2018, Memphis, USA

Subjects: Software Engineering (cs.SE)

[36] arXiv:1805.05246 [pdf, other]

Title: A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM

Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus

Journal-ref: IEEE Transactions on Software Engineering, 2019

Subjects: Software Engineering (cs.SE)

[37] arXiv:1805.05504 [pdf, other]

Title: Two Sides of the Same Coin: Software Developers' Perceptions of Task Switching and Task Interruption

Zahra Shakeri Hossein Abad, Mohammad Noaeen, Didar Zowghi, Behrouz H. Far, Ken Barker

Subjects: Software Engineering (cs.SE)

[38] arXiv:1805.05508 [pdf, other]

Title: Task Interruption in Software Development Projects: What Makes some Interruptions More Disruptive than Others?

Zahra Shakeri Hossein Abad, Oliver Karras, Kurt Schneider, Ken Barker, Mike Bauer

Subjects: Software Engineering (cs.SE)

[39] arXiv:1805.05517 [pdf, other]

Title: Explicit Modelling of Physical Measures: From Event-B to Java

J Paul Gibson (Télécom Sud Paris, Evry, france), Dominique Méry (LORIA, Telecom Nancy, Université de Lorraine, Vandœuvre-lès-Nancy, France)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 64-79

Subjects: Software Engineering (cs.SE)

[40] arXiv:1805.05518 [pdf, other]

Title: Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, Toulouse, France), Idir Ait Sadoune (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France), Kahina Hacid (IRIT/INPT-ENSEEIHT, Toulouse, France), Linda Mohand Oussaid (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 24-33

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

[41] arXiv:1805.05519 [pdf, other]

Title: Securing Open Source Clouds Using Models

Irum Rauf (Åbo Akademi University, Turku, Finland), Elena Troubitsyna (Åbo Akademi University, Turku, Finland)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 80-94

Subjects: Software Engineering (cs.SE)

[42] arXiv:1805.05521 [pdf, other]

Title: Towards Integrated Modelling of Dynamic Access Control with UML and Event-B

Inna Vistbakka (Åbo Akademi), Elena Troubitsyna (Åbo Akademi)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 105-116

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

[43] arXiv:1805.05983 [pdf, other]

Title: On Reliability of Patch Correctness Assessment

Xuan Bach D. Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li

Subjects: Software Engineering (cs.SE)

[44] arXiv:1805.05995 [pdf, other]

Title: Data Analytics Service Composition and Deployment on Edge Devices

Jianxin Zhao, Tudor Tiplea, Richard Mortier, Jon Crowcroft, Liang Wang

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

[45] arXiv:1805.07353 [pdf, other]

Title: Model-Driven Engineering of Self-Adaptive Software with EUREMA

Thomas Vogel, Holger Giese

Journal-ref: In: ACM Trans. Auton. Adapt. Syst. 8.4 (2014), 18:1-18:33

Subjects: Software Engineering (cs.SE)

[46] arXiv:1805.07354 [pdf, other]

Title: A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models

Joachim Hänsel, Thomas Vogel, Holger Giese

Journal-ref: In: International Conference on Self-Adaptive and Self-Organizing Systems Workshops. SASOW '15. IEEE, 2015, pp. 134-139

Subjects: Software Engineering (cs.SE)

[47] arXiv:1805.07396 [pdf, other]

Title: The Role of Models and Megamodels at Runtime

Thomas Vogel, Andreas Seibel, Holger Giese

Journal-ref: In: Models in Software Engineering, Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers. Vol. 6627. LNCS. Springer, 2011, pp. 224-238. Revised version of https://doi.org/10.5281/zenodo.1248909

Subjects: Software Engineering (cs.SE)

[48] arXiv:1805.07397 [pdf, other]

Title: Adaptation and Abstract Runtime Models

Thomas Vogel, Holger Giese

Journal-ref: In: International Workshop on Software Engineering for Adaptive and Self-Managing Systems. SEAMS '10. ACM, 2010, pp. 39-48

Subjects: Software Engineering (cs.SE)

[49] arXiv:1805.07951 [pdf, other]

Title: Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys

Stefan Wagner, Daniel Méndez Fernández, Michael Felderer, Antonio Vetró, Marcos Kalinowski, Roel Wieringa, Dietmar Pfahl, Tayana Conte, Marie-Therese Christiansson, Desmond Greer, Casper Lassenius, Tomi Männistö, Maleknaz Nayebi, Markku Oivo, Birgit Penzenstadler, Rafael Prikladnicki, Guenther Ruhe, André Schekelmann, Sagar Sen, Rodrigo Spínola, Ahmed Tuzcu, Jose Luis de la Vara, Dietmar Winkler

Comments: 47 pages, 19 figures, accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM)

Journal-ref: ACM Transactions on Software Engineering and Methodology, Volume 28, Issue 2, March 2019

Subjects: Software Engineering (cs.SE)

[50] arXiv:1805.08302 [pdf, other]

Title: Empirical Software Engineering: From Discipline to Interdiscipline

Daniel Méndez Fernández, Jan-Hendrik Passoth

Comments: Preprint accepted by Journal of Systems and Software (controversy corner)

Subjects: Software Engineering (cs.SE)