The increasing complexity of software systems necessitates the development of methodologies and tools for designing and testing systems exhibiting variability in the domain of potential functional configurations, in conjunction with diverse release architectures and a growing level of run-time autonomy.
The principal objective of this PhD is to explore innovative strategies that facilitate the automated generation of test scenarios and the construction of corresponding testing oracles for such systems. This will be achieved by employing agentic artificial intelligence, model-based techniques, and optimisation methodologies.
