SQAMIA 2025

Table of Contents

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