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

• LLM for Software Engineering

•   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 (e.g., non-deterministic, aging-related bugs and machine learning defects) 

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

• AI/LLM techniques for software system verification and validation

• Harness Engineering