Deep Learning, Machine Learning, software testing, Artificial Intelligence, formal verification, model vulnerabilities, adversarial machine learning, multimodal AI systems, attack detection, AI security, defence techniques