ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
Wed 20 May 2026 16:45 - 17:00 at Room 101 - Security, Fairness & Architectural Alignment Chair(s): Amjed Tahir

With the widespread adoption of Microservice Architecture and Domain-Driven Design (DDD), establishing a test strategy that aligns with software architecture is crucial. However, existing test classifications often suffer from ambiguity or from a lack of explicit alignment with software architectural concerns, leading to increased communication overhead and inefficient test structures in practice. This paper proposes a method that formally redefines well-known test levels—Unit, Integration, and E2E—based on “process boundaries” and “external I/O,” and deductively maps them to the responsibilities of a typical layered architecture. Furthermore, we present a case study applying this method to the development of a large-scale, mission-critical SaaS in the financial domain. Through an empirical evaluation in a production environment, the results demonstrate that the proposed approach significantly expanded the scope of assurance while maintaining execution speed and reliability, contributing to the overall optimization of the testing strategy in complex distributed systems.

Wed 20 May

Displayed time zone: Seoul change

15:30 - 17:00
Security, Fairness & Architectural AlignmentResearch Papers / Industry at Room 101
Chair(s): Amjed Tahir Massey University
15:30
25m
Talk
Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Insecure Code PreferenceArtifact ReviewedArtifact Available
Research Papers
Rui Melo Carnegie Mellon University and Faculty of Engineering, University of Porto, Sofia Reis Faculty of Engineering of the University of Porto, Andre Catarino Faculty of Engineering, University of Porto, Rui Abreu University of Porto
Pre-print
15:55
25m
Talk
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants CategoriesArtifact ReviewedArtifact Available
Research Papers
Mojtaba Eshghie Umeå University, Melissa Mazura KTH Royal Institute of Technology, Alexandre Bartel Umeå University
16:20
25m
Talk
Individual Fairness Testing in Fairness through Unawareness
Research Papers
Taisei Kuma Keio University, Takashi Kitamura AIST, Shingo Takada Keio University, Japan
16:45
15m
Talk
Formalizing Test Levels for Architectural Alignment and Overall Optimization
Industry
Riku Ogura freee K.K., Ren Karita freee K.K.