Boosting Few-Pixel Robustness Verification via Covering Verification Designs