=Paper=
{{Paper
|id=Vol-1938/sqamia2017-preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1938/sqamia2017-preface.pdf
|volume=Vol-1938
}}
==None==
https://ceur-ws.org/Vol-1938/sqamia2017-preface.pdf
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