Testing Black Boxes: Verification and Validation of AI Models in Wireless Communication Systems. - Chu-Hsiang Huang; Taesang Yoo; Juan Montojo; Chang-Hwa Park; Mohammed Hirzallah (WPMC, 2023)