SPLST 2015
Symposium on Programming Languages and Software Tools

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