The call for papers addresses all researchers and practitioners with an interest about the improvement of advanced systems. Topics addressed in the workshop include, but are not limited to:

• Software, reliability

• Software aging and rejuvenation

• Software testing, verification, and validation

• Software debugging and fault localisation

• Software safety analysis and enhancement

• Program repair and re-engineering

• Fault-tolerant techniques

• Dependability modelling, evaluation, and tools

• Explainability of system structures and behaviours

• Software engineering for high-quality AI/LLM embedded systems

•      Quality assurance for advanced systems, such as cyber-physical systems, learning-based systems,    quantum systems, etc.

• Quality assurance for complex systems, such as multi-agent systems, sever system, etc. 

• Modelling and simulation of smart systems

•      Studies on complex bugs, such as non-deterministic bugs, aging-related bugs and machine learning defects, etc. 

• Analytical, empirical, and experimental studies of any of the above topics

• AI/LLM techniques for software system verification and validation

•