Proceedings ISBN: 978-86-7031-374-3
This volume contains papers presented at the Third Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications (SQAMIA 2014). SQAMIA 2014 was held during September 19-22, 2014, in Lovran, Croatia.
SQAMIA 2014 is a continuation of two successful events held in 2012 and 2013 in Novi Sad, Serbia. The first SQAMIA workshop was organized within the 5th Balkan Conference in Informatics (BCI 2012) in Novi Sad. In 2013, SQAMIA became a standalone event in intention to become traditional meeting of the scientists and practitioners in the field of software quality.
The main objective of SQAMIA workshop series is to provide a forum for presentation, discussion and dissemination of the scientific findings in the area of software quality, and to promote and improve interaction and cooperation between scientists and young researchers from the region and beyond. SQAMIA workshops traditionally welcome position papers, papers describing the work-in-progress, tool demonstration papers, technical reports, or other papers that would provoke discussions.
The SQAMIA 2014 workshop consisted of regular sessions with technical contributions reviewed and selected by an international program committee, as well as of invited talks presented by leading scientists in the research areas of the workshop.
In total, 14 papers were accepted and published in this proceedings volume. All published papers were double reviewed, and some papers received the attention of more than two reviewers. We would like to use this opportunity to thank all PC members and the external reviewers for submitting careful and timely opinions on submitted papers.
Also, we gratefully acknowledge the program co-chairs, Marjan Heričko (Slovenia), Zoltán Horváth (Hungary), Mirjana Ivanović (Serbia), and Hannu Jaakkola (Finland), for helping to greatly improve the quality of the workshop.
We extend special thanks to the SQAMIA 2014 Organizing Committee of the Department of Computer Engineering, Faculty of Engineering, University of Rijeka, Croatia and Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Serbia.
Finally, we thank our sponsors for supporting the organization of this event. We are especially thankful for financial support by the EU COST Action IC1202: Timing Analysis on Code-Level (TACLe) and to University of Rijeka providing support by research Grant 13.09.2.2.16.
We are also grateful to the Remisens Family Hotel Excelsior for supporting the workshop by providing the lecture hall and equipment. We also thank the Lovran Municipal Tourism Board for making the participants bags heavier.
And last, but not least, we thank all the participants of SQAMIA 2014 for having made all work that went into SQAMIA 2014 worthwhile.
Zoran Budimac Tihana Galinac Grbac
General Chair Program Chair Program Co-Chairs Tihana Galinac Grbac (Univ. of Rijeka, Croatia) Zoran Budimac (Univ. of Novi Sad, Serbia) Tihana Galinac Grbac (Univ. of Rijeka, Croatia) Marjan Heričko (Univ. of Maribor, Slovenia) Zoltán Horváth (Eötvös Loránd Univ., Budapest, Hungary) Mirjana Ivanović (Univ. of Novi Sad, Serbia) Hannu Jaakkola (Tampere Univ. of Technology, Pori, Finland) Program Committee Additional Reviewers Jean Petrić (Univ. of Rijeka, Croatia) Harri Keto (Tampere Univ. of Technology, Pori, Finland) Organizing Committee Goran Mauša, Chair (Univ. of Rijeka, Croatia) Jean Petrić (Univ. of Rijeka, Croatia) Gordana Rakić (Univ. of Novi Sad, Serbia) Miloš Savić (Univ. of Novi Sad, Serbia) Organizing Institution Department of Computer Engineering, Faculty of Engineering, University of Rijeka, Croatia Sponsoring Institutions of SQAMIA 2014
EU COST Action IC1202 Timing Analysis on Code-Level (TACLe) University of Rijeka (research grant 13.09.2.2.16) ◦ Criteria for Selecting Mobile Application Testing Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Boštjan Arzenšek, Marjan Heričko ◦ Attribute-based Checking of C++ Move Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Áron Baráth, Zoltán Porkoláb ◦ Formal Specification of Scientific Applications Using Interval Temporal Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Bojana Koteska, Ljupco Pejov, Anastas Mishev ◦ Towards a Framework for Usability Testing of Interactive Touchless Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Saša Kuhar, Kristjan Košič ◦ Techniques for Bug-Code Linking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Goran Mauša, Paolo Perković, Tihana Galinac Grbac, Ivan Štajduhar ◦ Processing and Data Collection of Program Structures in Open Source Repositories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Jean Petrić, Tihana Galinac Grbac, Mario Dubravac ◦ Tool for Testing Bad Student Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Ivan Pribela, Doni Pracner, Zoran Budimac ◦ Toward Language Independent Worst-Case Execution Time Calculation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Gordana Rakić, Zoran Budimac ◦ Graph Clustering Evaluation Metrics as Software Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Miloš Savić, Mirjana Ivanović ◦ Approaches for Test Case Generation from UML Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Tina Schweighofer, Marjan Heričko ◦ Prototype System for Improving Manually Collected Data Quality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Jari Soini, Pekka Sillberg, Petri Rantanen ◦ The Effect of Educating Users on Passwords: a Preliminary Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Viktor Taneski, Boštjan Brumen, Marjan Heričko