AISQ 2025

In the era of Industry 4.0, advanced intelligent software applications, such as cyber-physical systems (CPS), machine learning-based systems, manufacturing systems, digital twin systems, quantum software applications, multi-agent systems, real-time systems and LLM-based systems, are playing an increasingly important role in both the industrial world and our daily lives. Failures or requirement violations of these systems may lead to disruptive results, even the. For example, a collision of an autonomous driving vehicle could lead to the loss of human lives, while the "hallucination" of an LLM-based AI advisor may mislead people to make wrong decisions and thereby bring significant economic losses. Therefore, ensuring the quality of such systems is essential. 

Nowadays, extensive academic research, including both formal methods and engineering technologies, has been conducted to improve the quality of advanced intelligent software from various aspects, such as its usability, correctness, reliability, scalability, and robustness.  However, these advanced systems tend to comprise various components or multiple intelligent agents and perform complex tasks under ever-changing environments. Indeed, the rapid evolution of computer/AI technologies—particularly the recent breakthroughs in large language models and quantum computing—has precipitated a series of novel challenges in software quality assurance and dependability. Our AISQ aims to bridge the gap between the up-to-the-date systems with complicated behaviours and the scalability of quality assurance techniques, approaches, methodologies and fundamental theories. Specifically, AISQ seeks to collect promising and high-quality research achievements and provide an international venue to discuss the advanced discoveries and emerging trends related to the quality of Advanced Intelligent Software in both the academic society and the industrial world. This workshop will explore emerging theories and techniques to model and evaluate complex systems. Also, it will seek useful methods or tools to localise and fix system vulnerabilities.