| Vol-1525 urn:nbn:de:0074-1525-1 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SPLST 2015
Symposium on Programming Languages and Software Tools

### Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15)

### Tampere, Finland, Oct 9-10, 2015.

Edited by

### Jyrki Nummenmaa *
Outi Sievi-Korte **
Erkki Mäkinen *

* University of Tampere, Finland
** Tampere University of Technology, Finland

## Contents

- Preface, committees, table of contents, author index

### Session 1: Metrics

- Towards proactive management of technical debt by software metrics 1-15
  Anna Sandberg, Miroslaw Staron, Vard Antinyan
- Defining metrics for continuous delivery and deployment pipeline 16-30
  Timo Lehtonen, Sampo Suonsyrjä, Terhi Kilamo, Tommi Mikkonen
- Metrics for Gerrit code review 31-45
  Samuel Lehtonen, Timo Poranen

### Session 2: Metrics and testing

- Test suite evaluation using code coverage based metrics 46-60
  Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid Tengeri, Tamás Gergely, Tibor Gyimóthy
- Accounting testing in software cost estimation: A case study of the current practice and impacts 61-75
  Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen

### Session 3: Tools

- ICDO: Integrated cloud-based development tool for DevOps 76-90
  Farshad Ahmadighohandizi, Kari Systä
- A state space tool for concurrent system models expressed in C++ 91-105
  Antti Valmari
- Semantics analyzing expression editors in IP-XACT design tool Kactus2 106-118
  Mikko Teuho, Esko Pekkarinen, Timo Hämäläinen

### Session 4: Products, models, and requirements

- Internal marketplace as a mechanism for promoting software reuse 119-133
  Maria Ripatti, Terhi Kilamo, Karri-Tuomas Salli, Tommi Mikkonen
- Lean startup meets software product lines: Survival of the fittest or letting products bloom? 134-148
  Henri Terho, Sampo Suonsyrjä, Ari Jaaksi, Tommi Mikkonen, Rick Kazman, Hong-Mei Chen
- Model-based technology of software development in large 149-163
  Enn Tyugu, Jaan Penjam
- Requirements management in GitHub with a lean approach 164-178
  Risto Salo, Timo Poranen, Zheying Zhang

### Session 5: Data types and structures

- Priority queue classes with priority update 179-193
  Matti Rintala, Antti Valmari
- Two set-based implementations of quotients in type theory 194-205
  Niccolò Veltri

### Session 6: Security

- Preventing malicious attacks by diversifying Linux shell commands 206-220
  Joni Uitto, Sampsa Rauti, Jari-Matti Mäkelä, Ville Leppänen
- Phishing knowledge based user modelling in software design 221-235
  Linfeng Li, Timo Nummenmaa, Eleni Berki, Marko Helenius
- Securing Scrum for VAHTI 236-250
  Kalle Rindell, Sami Hyrynsalmi, Ville Leppänen

### Session 7: Data collection and analysis

- Collecting issue management data for analysis with a unified model and API descriptions 251-265
  Otto Hylli, Anna-Liisa Mattila, Kari Systä
- LOGDIG log file analyzer for mining expected behavior from log files 266-280
  Esa Heikkinen, Timo D. Hämäläinen
- Mining knowledge on technical debt propagation 281-295
  Tomi 'Bgt' Suovuo, Johannes Holvitie, Jouni Smed, Ville Leppänen
- Pattern recognition with spiking neural networks: a simple training method 296-308
  Francois Christophe, Tommi Mikkonen, Vafa Andalibi, Kai Koskimies, Teemu Laukkarinen

We offer a BibTeX file for citing papers from this workshop.

2015-12-14: submitted by Jyrki Nummenmaa, metadata incl. bibliographic data published under Creative Commons CC0
2015-12-14: published on CEUR-WS.org |valid HTML5|