September 10-12 2025
Maribor, Slovenia
PROGRAM
You can download the PDF version of the program here.
Proceedings published by CEUR Workshop Proceedings are available here.
Wednesday, 10th of September
15:00 Registration
16:30 Maribor Guided Tour & Welcome Reception
Thursday, 11th of September
8:00 Registration
9:00 – 9:20 Workshop Opening
9:20 – 10:40 Session #1: QA and Testing in AI and Emerging Systems
Session Chair: Luka Pavlič
Quality Assurance of Predictive Models in Intelligent Systems
Grega Vrbančič, Zala Lahovnik and Vili Podgorelec
A Review of Secondary Studies on the Verification and Validation of Blockchain Applications: Preliminary Results
Mitja Gradišnik, Tina Beranič and Muhamed Turkanović
The impact of AI on SQM: Mapping the current state
Lidija Vincekovič and Tina Beranič
Testing Strategy for Multi-Tenant Web Applications Using TestContainers with Use Case: MealMatrix
Davor Dimoski, Bojana Koteska and Anastas Mishev
10:40 – 11:10 Coffee Break
11:10 – 12:15 Session #2: Insights in Scalable and Agile Software Development
Session Chair: Petar Rajković
Performance Comparison between a Monolithic and a Microservice Application
Reinhard Bernsteiner, Marco Blasisker, Michael Kohlegger, Christian Ploder and Stephan Schlögl
Exploring effort estimation challenges in agile software development
Vasilka Saklamaeva, Luka Pavlič and Tina Beranič
A Comparative Evaluation of PostgreSQL, MongoDB, and MySQL for Ethiopian Migrant Data Management
Tariq Emad Ali, Faten Imad Ali, Hekmat Sakerc, Farid Eyvazov, Pavle Dakić and Alwahab Dhulfiqar Zoltan
12:15 – 13:15 Lunch
13:15 – 14:40 Session #3: Software Quality in Context
Session Chair: Hannu Jaakkola
Clear Skies, Clear Interface – User-Centered Design of a Mobile Duty Roster Application for Pilots
Jan Kuhn, Stephan Schlögl and Aleksander Groth
Software Quality and Compliance in Intelligent Health Monitoring Systems: A Case Study of Baby FM
Bojan Gutić, Tamara Papić and Pavle Dakić
MSQ Methodology in AI-driven Analysis of Assets and Liabilities: A Case Study of the ValidoAI System
Slavoljub Milojković, Pavle Dakić, Tjaša Heričko, Marijana Aleksić and Ján Lang
Programming in natural languages
Jaak Henno, Hannu Jaakkola and Jukka Makela
15:00 Social Event & Dinner
Friday, 12th of September
9:00 – 9:30 Keynote Session
Session Chair: Mirjana Ivanović
Questions and answers related with the success of practical software testing
Klaus Bothe
9:30 – 9:40 Short Break
9:40 – 11:00 Session #4: Static Analysis and Verification in Modern Software Development
Session Chair: Zoltán Horváth
An assessment of persistent homology tools applied in software reliability analysis
Tin Nando Jovanović, Alan Burić and Tihana Galinac Grbac
Why do or why don’t software developers use static analysis tools? A literature review
Kristóf Umann and Zoltan Porkolab
Annotation-Based Static Verification of Algorithmic Complexity in Java
Aleksandr Samedov and Zoltan Porkolab
Static analysis of Elixir web application with RefactorErl
Smiljana Knezev, István Bozó and Melinda Tóth
11:00 – 11:30 Coffee Break
11:30 – 12:50 Session #5: From Concept to Prototype
Session Chair: Tina Beranič
Visualizing Workflow Structures Using a Modified Tree Layout Algorithm
Anđelija Đorđević, Petar Rajković, Aleksandar Milenković, Dejan Aleksić, Đorđe Čikić and Dragan Janković
SequenceAligner: A High-Performance Tool for Large-Scale All-Versus-All Pairwise Sequence Alignment
Jakov Dragičević, Erik Otović and Goran Mauša
Toward Transparent Web Browsing: A Design for a Privacy and Data Fairness Assessment Tool
Sampsa Rauti, Sini Salmi, Panu Puhtila, Shashika Harshani and Sammani Rajapaksha
Automated smart contract vulnerability threat modelling with STRIDE
Nika Jeršič and Muhamed Turkanović
12:50 – 13:10 Workshop Closing & Zoran Budimac Best Paper Award
13:10 Lunch