Zoran Budimac (Editor) Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications SQAMIA 2017 Belgrade, Serbia, 11–13.09.2017 Proceedings Department of mathematics and informatics Faculty of Sciences University of Novi Sad, Serbia 2017 Volume Editor Zoran Budimac University of Novi Sad Faculty of Sciences, Department of Mathematics and Informatics Trg Dositeja Obradovića 4, 21 000 Novi Sad, Serbia E-mail: zjb@dmi.uns.ac.rs Publisher: University of Novi Sad, Faculty of Sciences, Department of mathematics and informatics Trg Dositeja Obradovića 3, 21000 Novi Sad, Serbia www.pmf.uns.ac.rs Typesetting: Doni Pracner Papers are copyrighted c 2017 by the papers’ authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors. Proceedings also appeared in ISBN 978-86-7031-355-2, Faculty of Sciences, University of Novi Sad. The contents of the published papers express the opinions of their respective authors, not the volume publisher or the editors. Typeset in LATEX and Microsoft Word by Doni Pracner and the authors of individual papers. ISBN: 978-86-7031-355-2 ii Preface This volume contains papers presented at the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications (SQAMIA 2017). SQAMIA 2017 was held during September 11 – 13, 2017., at the Hotel Prag, Belgrade, Serbia. SQAMIA 2017 continued the tradition of successful SQAMIA workshops previously held in Novi Sad, Serbia (in 2012 and 2013), Lovran, Croatia (2014), Maribor, Slovenia (2015) and Budapest, Hungary (2016). The first SQAMIA workshop was organized within the 5th Balkan Conference in Informatics (BCI 2012). In 2013, SQAMIA became a standalone event intended to be an annual gathering of researchers and practitioners in the field of software quality. The main objective of the SQAMIA series of workshops is to provide a forum for presentation, discussion and dissemination of the latest scientific achievements in the area of software quality, and to promote and improve interaction and collaboration among scientists and young researchers from the region and beyond. The workshop especially welcomes position papers, papers describing work in progress, tool demonstration papers, technical reports, and papers designed to provoke debate on present knowledge, open questions, and future research trends in software quality. The SQAMIA 2017 workshop consisted of regular sessions with technical contributions reviewed and selected by an international program committee, as well as two invited talks by Nuno Antunes and Stéphane Ducasse. In total 19 papers were accepted and published in this proceedings volume. All published papers were at least double reviewed, and in some cases even quadruple reviewed. We are grateful to all PC members for submitting careful and timely opinions on the papers. Our special thanks are also addressed to the members of the SQAMIA Initiative (sqamia.org) without who this and previous workshops could not be possible: Zoran Budimac (Novi Sad, Serbia), Tihana Galinac Grbac (Rijeka, Croatia), Marjan Heričko (Maribor, Slovenia), Zoltán Horváth (Budapest, Hungary) and Hannu Jaakkola (Pori, Finland) We extend special thanks to the SQAMIA 2017 Organizing Committee from the Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, especially to the two co-chairs Nataša Sukur and Tijana Vislavski for their hard work and dedication to make this workshop the best it can be. Further we’d like to thank Doni Pracner for his patience and diligent work on making the proceedings. This workshop is endorsed by COST action IC1402 Runtime verification beyond monitoring (ARVI). And last, but not least, we thank all the participants of SQAMIA 2017 for their contributions that made all the work that went into SQAMIA 2017 worthwhile. September 2017 Zoran Budimac iii Workshop Organization General and Program Chair Zoran Budimac (University of Novi Sad, Serbia) Program Committee Nuno Antunes (University of Coimbra, Portugal) Tihana Galinac Grbac (co-chair, University of Rijeka, Croatia) Marjan Heričko (co-chair, University of Maribor, Slovenia) Zoltán Horváth (co-chair, Eötvös Loránd University, Hungary) Hannu Jaakkola (co-chair, Tampere University of Technology, Finland) Harri Keto (Tampere University of Technology, Finland) Vladimir Kurbalija (University of Novi Sad, Serbia) Goran Mauša (University of Rijeka, Croatia) Anastas Mishev (University of Sts. Cyril and Methodius, FYR Macedonia) Zoltán Porkoláb (Eötvös Loránd University, Hungary) Valentino Vranić (Slovak University of Technology in Bratislava, Slovakia) Additional Reviewers Michal Bystrický Ivano Elia Ján Lang Rui Oliveira Karol Rástočný Organizing Committee Nataša Sukur (co-chair, University of Novi Sad, Serbia) Tijana Vislavski (co-chair, University of Novi Sad, Serbia) Doni Pracner (University of Novi Sad, Serbia) Ivan Pribela (University of Novi Sad, Serbia) Organizing Institution University of Novi Sad, Serbia Faculty of Sciences Department of Mathematics and Informatics Technical Editor Doni Pracner (University of Novi Sad, Serbia) iv Table of Contents ◦ Approaches for Software Metrics Threshold Derivation: A Preliminary Review . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1:1–1:08 Tina Beranič, Marjan Heričko ◦ Two Dimensional Visualization of Software Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2:1–2:06 Tibor Brunner, Zoltán Porkoláb ◦ Tests of Graphics Rendering in Browsers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3:1–3:10 Jaak Henno, Hannu Jaakkola, Jukka Mäkelä ◦ Improvement of Requirements Engineering Course – Medical Software Case Study . . . . . . . . . . . . . . . . . . . . . . . . 4:1–4:09 Mirjana Ivanović, Amelia Badica, Maria Ganzha, Costin Badica, Marcin Paprzycki ◦ Technology and the Reincarnation Cycles of Software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5:1–5:10 Hannu Jaakkola, Jaak Henno, Jukka Mäkelä ◦ A Preliminary Empirical Exploration of Quality Measurement for Javascript Solutions . . . . . . . . . . . . . . . . . . . . 6:1–6:06 David Kostanjevec, Maja Pušnik, Marjan Heričko, Boštjan Šumak, Gordana Rakić, Zoran Budimac ◦ Identifying Up-to-the-Minute Topics in Software Process Improvement Research . . . . . . . . . . . . . . . . . . . . . . . . . . . 7:1–7:08 Harri Keto, Hannu Jaakkola ◦ Blockchain Implementation Quality Challenges: A Literature Review . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8:1–8:08 Bojana Koteska, Elena Karafiloski, Anastas Mishev ◦ Barriers and Facilitators of Digitalization in Organizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9:1–9:07 Markku Kuusisto ◦ Relationship Between Design and Defects for Software in Evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10:1–10:10 Matija Miletić, Monika Vukušić, Goran Mauša, Tihana Galinac Grbac ◦ A Practical Tutorial for FermaT and WSL Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11:1–11:08 Doni Pracner, Zoran Budimac ◦ A Temporal File System for Student’s Assignments in The System Svetovid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12:1–12:08 Ivan Pribela, Doni Pracner ◦ Case Study: Using Model Based Component Generator for Upgrade Projects . . . . . . . . . . . . . . . . . . . . . . . . . . . 13:1–13:08 Petar Rajkovic, Ivan Petkovic, Dragan Jankovic ◦ Containerized A/B Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14:1–14:08 Ádám Révész, Norbert Pataki ◦ Energy Consumption Measurement of C/C++ Programs Using Clang Tooling . . . . . . . . . . . . . . . . . . . . . . . . . . 15:1–15:08 Mário Santos, João Saraiva, Zoltán Porkoláb, Dániel Krupp ◦ Evaluating State Modeling Techniques in Alloy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16:1–16:09 Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov ◦ Measuring Mangled Name Ambiguity in Large C / C++ Projects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17:1–17:09 Richárd Szalay, Zoltán Porkoláb, Dániel Krupp ◦ Comparison of Software Structures in Java and Erlang Programming Languages . . . . . . . . . . . . . . . . . . . . . . . . 18:1–18:08 Ana Vranković, Tihana Galinac Grbac, Melinda Tóth ◦ The Case for Non-Cohesive Packages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19:1–19:18 Nicolas Anquetil, Muhammad Ussman Bhatti, Stéphane Ducasse, Andre Hora, Jannik Laval v