Boosting Few-Pixel Robustness Verification via Covering Verification Designs. - Yuval Shapira; Naor Wiesel; Shahar Shabelman; Dana Drachsler-Cohen (CAV (2), 2024)