1. Metamorphic testing: A review of challenges and opportunities;Chen Tsong Yueh;ACM Computing Surveys (CSUR),2018
2. Zakaria Chihani. 2021. Formal Methods for AI: Lessons from the past promises of the future. (2021).
3. ImageNet: A large-scale hierarchical image database
4. AIMOS: Metamorphic Testing of AI - An Industrial Application
5. Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, and Zakaria Chihani. 2023. Contextualised Out-of-Distribution Detection Using Pattern Identification. In Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, and Friedemann Bitsch (Eds.). Springer Nature Switzerland, Cham, 423--435.