=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1525/paper-00.pdf
|volume=Vol-1525
}}
==None==
https://ceur-ws.org/Vol-1525/paper-00.pdf
SPLST’15
Jyrki Nummenmaa, Outi Sievi-Korte, Erkki Mäkinen (editors)
Proceedings of the 14th Symposium on
Programming Languages and Software Tools
University of Tampere
School of Information Sciences
Tampere, October 9-10, 2015
Preface
This volume contains the papers of SPLST’15: 14th Symposium on Programming
Languages and Software Tools held on October 9-10, 2015, in Tampere, Finland.
The symposium series started in Szeged, Hungary, in 1989, and since then,
the symposium has been established as a bi-annual event. From the initial Finno-
Ugric event, the symposia have developed into a conference series aimed to at-
tract scientist from other countries as well, even though the majority of the
authors still come from the Estonia, Finland, and Hungary - the countries where
the symposia is normally organized.
The original profile ”Programming Languages and Software Tools” has main-
tained its importance over the times, with the research topics evolving over
time. This year’s topics included metrics, metrics and testing, software tools,
data types and structures, security, data collection and analysis, and products,
models, and requirements.
The conference papers were selected through peer reviewing. Each paper had
2-3 reviews and the selection was strictly based on the outcome of the reviews.
The paper submission, reviews, selection, and proceedings production were all
performed with the help of the EasyChair system. There were 29 completed
submissions for the conference, out of which 21 were selected to be presented
and included in the proceedings.
In addition to the peer-reviewed papers, the conference programme included
two invited key note talks: One by prof. Aarne Ranta, University of Gothenburg,
on the topic ”Grammars for the Working Programmer: GF and BNFC” and the
other one by Dr. Veli-Pekka Eloranta, from software company Vincit, on the
topic ”From trenches: Software development for medical devices”.
The editors want to express their gratitude to the Program Committee and
the external evaluators, and to the University of Tampere for providing the
facilities for the conference.
September 28, 2015 Jyrki Nummenmaa
Tampere Outi Sievi-Korte
Erkki Mäkinen
SPLST'15
Steering Committee
Kai Koskimies Tampere University of Technology (retired)
Jaan Penjam Tallinn University of Technology
Horváth Zoltán Eötvös Loránd University, Budapest
Program Committee
Eleni Berki University of Tampere
Hassan Charaf Budapest University of Technology and Economics
Tibor Gyimothy University of Szeged
Pekka Kilpeläinen University of Eastern Finland
Akos Kiss University of Szeged
Tamás Kozsik Eötvös Loránd University, Budapest
Ville Leppänen University of Turku
Tommi Mikkonen Tampere University of Technology
Erkki Mäkinen University of Tampere
Jyrki Nummenmaa University of Tampere
András Pataricza Budapest University of Technology and Economics
Jari Peltonen Cometa Solutions Oy
Jaan Penjam Tallinn University of Technology
Attila Pethő University of Debrecen
Outi Sievi-Korte Tampere University of Technology
Antti Tapani Siirtola University of Oulu
Kari Systä Tampere University of Technology
Antti Valmari Tampere University of Technology
Margus Veanes Microsoft Research
Horváth Zoltán Eötvös Loránd University, Budapest
SPLST'15
Table of Contents
Metrics
Towards Proactive Management of Technical Debt by Software Metrics . . 1
Anna Sandberg, Miroslaw Staron and Vard Antinyan
Defining Metrics for Continuous Delivery and Deployment Pipeline . . . . . . 16
Timo Lehtonen, Sampo Suonsyrjä, Terhi Kilamo and Tommi Mikkonen
Metrics for Gerrit Code Review . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Samuel Lehtonen and Timo Poranen
Metrics and testing
Test Suite Evaluation using Code Coverage Based Metrics . . . . . . . . . . . . . 46
Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid
Tengeri, Tamás Gergely and Tibor Gyimóthy
Accounting Testing in Software Cost Estimation: A Case Study of the
Current Practice and Impacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Jurka Rahikkala, Sami Hyrynsalmi and Ville Leppänen
Tools
ICDO: Integrated Cloud-based Development Tool for DevOps . . . . . . . . . . 76
Farshad Ahmadighohandizi and Kari Systä
A State Space Tool for Concurrent System Models Expressed In C++ . . . 91
Antti Valmari
Semantics analyzing expression editors in IP-XACT design tool Kactus2 . 106
Mikko Teuho, Esko Pekkarinen and Timo Hämäläinen
Products, models, and requirements
Internal Marketplace as a Mechanism for Promoting Software Reuse . . . . . 119
Maria Ripatti, Terhi Kilamo, Karri-Tuomas Salli and Tommi Mikko-
nen
Lean Startup Meets Software Product Lines: Survival of the Fittest or
Letting Products Bloom? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Henri Terho, Sampo Suonsyrjä, Ari Jaaksi, Tommi Mikkonen, Rick
Kazman and Hong-Mei Chen
Model-based technology of software development in large . . . . . . . . . . . . . . . 149
Enn Tyugu and Jaan Penjam
SPLST'15
Requirements management in GitHub with lean approach . . . . . . . . . . . . . . 164
Risto Salo, Timo Poranen and Zheying Zhang
Data types and structures
Priority Queue Classes with Priority Update . . . . . . . . . . . . . . . . . . . . . . . . . 179
Matti Rintala and Antti Valmari
Two set-based implementations of quotients in type theory . . . . . . . . . . . . . 194
Niccolò Veltri
Security
Preventing malicious attacks by diversifying Linux shell commands . . . . . . 206
Joni Uitto, Sampsa Rauti, Jari-Matti Mäkelä and Ville Leppänen
Phishing Knowledge based User Modelling in Software Design . . . . . . . . . . 221
Linfeng Li, Timo Nummenmaa, Eleni Berki and Marko Helenius
Securing Scrum for VAHTI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
Kalle Rindell, Sami Hyrynsalmi and Ville Leppänen
Data collection and analysis
Collecting Issue Management Data for Analysis with a Unified Model
and API Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251
Otto Hylli, Anna-Liisa Mattila and Kari Systä
LOGDIG log file analyzer for mining expected behavior from log files . . . . 266
Esa Heikkinen and Timo D. Hämäläinen
Mining Knowledge on Technical Debt Propagation . . . . . . . . . . . . . . . . . . . . 281
Tomi ’Bgt’ Suovuo, Johannes Holvitie, Jouni Smed and Ville Leppänen
Pattern recognition with Spiking Neural Networks: a simple training
method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296
Francois Christophe, Tommi Mikkonen, Vafa Andalibi, Kai Koskimies
and Teemu Laukkarinen
SPLST'15
Author Index
A
Ahmadighohandizi, Farshad 76
Andalibi, Vafa 296
Antinyan, Vard 1
B
Berki, Eleni 221
Beszédes, Árpád 46
C
Chen, Hong-Mei 134
Christophe, Francois 296
G
Gergely, Tamás 46
Gyimóthy, Tibor 46
H
Heikkinen, Esa 266
Helenius, Marko 221
Holvitie, Johannes 281
Horváth, Ferenc 46
Hylli, Otto 251
Hyrynsalmi, Sami 61, 236
Hämäläinen, Timo 106
Hämäläinen, Timo D. 266
J
Jaaksi, Ari 134
K
Kazman, Rick 134
Kilamo, Terhi 16, 119
Koskimies, Kai 296
L
Laukkarinen, Teemu 296
Lehtonen, Samuel 31
Lehtonen, Timo 16
Leppänen, Ville 61, 206, 236, 281
Li, Linfeng 221
M
Mattila, Anna-Liisa 251
Mikkonen, Tommi 16, 119, 134, 296
Mäkelä, Jari-Matti 206
N
Nummenmaa, Timo 221
P
Pekkarinen, Esko 106
SPLST'15
Penjam, Jaan 149
Poranen, Timo 31, 164
R
Rahikkala, Jurka 61
Rauti, Sampsa 206
Rindell, Kalle 236
Rintala, Matti 179
Ripatti, Maria 119
S
Salli, Karri-Tuomas 119
Salo, Risto 164
Sandberg, Anna 1
Smed, Jouni 281
Staron, Miroslaw 1
Suonsyrjä, Sampo 16, 134
Suovuo, Tomi ’Bgt’ 281
Systä, Kari 76, 251
T
Tengeri, Dávid 46
Terho, Henri 134
Teuho, Mikko 106
Tyugu, Enn 149
U
Uitto, Joni 206
V
Valmari, Antti 91, 179
Vancsics, Béla 46
Veltri, Niccolò 194
Vidács, László 46
Z
Zhang, Zheying 164