2017
Proceedings Department of mathematics and informatics
Faculty of Sciences University of Novi Sad, Serbia 2017
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
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.
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
Zoran Budimac (University of Novi Sad, Serbia)
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)
Michal Bystrický Ivano Elia Ján Lang Rui Oliveira Karol Rástočný
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)
University of Novi Sad, Serbia Faculty of Sciences Department of Mathematics and Informatics
Doni Pracner (University of Novi Sad, Serbia) ◦ 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