RISE Research Radar

Computer Science Open House 2022-2025

2025

Formal Testing of AI Systems (Citcom.AI)

Nishat I. Mowla, Kabir Fahriq

Summary

Introduces formal testing approach for structured AI system evaluation under the AI Act regulatory framework. Establishes context definition across AI application domains, subfields, and use cases. Maps ISO/IEC standards for AI testing including classification, evaluation, and lifecycle management. Provides framework for AI Act compliance testing.

Themes

ai-ethics

Keywords

AI Act, testing standards, ISO/IEC, regulatory compliance, AI evaluation

Poster

Formal Testing of AI Systems (Citcom.AI) poster

Click image to open full size