SQAMIA 2025
Software Quality Analysis, Monitoring, Improvement, and Applications 2025

Table of Contents

• Preface
  Summary: There were 21 papers submitted for peer-review to this workshop. Out of these, 19 papers were accepted for this volume, all 19 as regular papers.

Keynote Session

• Questions and Answers Related with the Success of Practical Software Testing (abstract)
  Klaus Bothe

Regular Papers

• A Comparative Evaluation of PostgreSQL, MongoDB, and MySQL for Ethiopian Migrant Data Management
  Tariq Emad Ali, Faten Imad Ali, Saker Hekmat, Farid Eyvazov, Pavle Dakić, Alwahab Dhulfiqar Zoltan
• Performance Comparison Between a Monolithic and a Microservice Application
  Reinhard Bernsteiner, Marco Blasisker, Michael Kohlegger, Christian Ploder, Stephan Schlögl
• Testing Strategy for Multi-Tenant Web Applications Using TestContainers with Use Case: MealMatrix
  Davor Dimoski, Bojana Koteska, Anastas Mishev
• Visualizing Workflow Structures Using a Modified Tree Layout Algorithm
  Anđelija Đorđević, Petar Rajković, Aleksandar Milenković Dejan Aleksić, Đorđe Čikić, Dragan Janković
• SequenceAligner: A High-Performance Tool for Large-Scale All-Versus-All Pairwise Sequence Alignment
  Jakov Dragicevic, Erik Otovic, Goran Mausa
• A Review of Secondary Studies on the Verification and Validation of Blockchain Applications: Preliminary Results
  Mitja Gradišnik, Tina Beranič, Muhamed Turkanović
• Software Quality and Compliance in Intelligent Health Monitoring Systems: A Case Study of Baby FM
  Bojan Gutić, Tamara Papić, Pavle Dakić
• Programming in Natural Languages
  Jaak Henno, Hannu Jaakkola, Jukka Makela
• Automated Smart Contract Vulnerability Threat Modelling with STRIDE
  Nika Jeršič, Muhamed Turkanović,
• An Assessment of Persistent Homology Tools Applied in Software Reliability Analysis
  Tin Nando Jovanović, Alan Burić, Tihana Galinac Grbac João Pita Costa, Neven Grbac
• Static Analysis of Elixir Web Application with RefactorErl
  Smiljana Knezev, István Bozó, Melinda Tóth
• Clear Skies, Clear Interface - User-Centered Design of a Mobile Duty Roster Application for Pilots
  Jan Kuhn, Stephan Schlögl, Aleksander Groth
• MSQ Methodology in AI-driven Analysis of Assets and Liabilities: A Case Study of the ValidoAI System
  Slavoljub Milojković, Pavle Dakic, Tjaša Heričko, Marijana Aleksić, Ján Lang
• Toward Transparent Web Browsing: A Design for a Privacy and Data Fairness Assessment Tool
  Sampsa Rauti, Sini Salmi, Panu Puhtila, Shashika Harshani, Sammani Rajapaksha
• Exploring Effort Estimation Challenges in Agile Software Development
  Vasilka Saklamaeva, Luka Pavlič, Tina Beranič
• Annotation-Based Static Verification of Algorithmic Complexity in Java
  Aleksandr Samedov, Zoltan Porkolab
• Why Do or Why Don’t Software Developers Use Static Analysis Tools? A Literature Review - Short paper
  Kristóf Umann, Zoltan Porkolab
• The Impact of AI on SQM: Mapping the Current State
  Lidija Vincekovič, Tina Beranič
• Quality Assurance of Predictive Models in Intelligent Systems
  Grega Vrbančič, Zala Lahovnik, Vili Podgorelec