Effective Search Space Pruning for Testing Deep Neural Networks. - Bala Rangayah; Eugene Sng; Minh-Thai Trinh (APLAS, 2024)