| Vol-4077 urn:nbn:de:0074-4077-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

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

### Proceedings of the Twelfth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications

### Maribor, Slovenia, September 10-12, 2025.

Edited by

### Luka Pavlič *
Tihana Galinac Grbac **
Marjan Heričko *
Zoltán Horváth ****
Mirjana Ivanović ****
Hannu Jaakkola *****

* University of Maribor, Faculty of Electrical Engineering and Computer Science, Institute of Informatics
** Juraj Dobrila University of Pula, Faculty of Engineering
*** Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
**** University of Novi Sad, Faculty of Sciences, Department of Mathematics and Informatics
***** Tampere University, Faculty of Information Technology and Communication Sciences

## 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

2025-10-01: submitted by Luka Pavlič, metadata incl. bibliographic data published under Creative Commons CC0
2025-10-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|