TY  - RPRT
TI  - Effort-Optimized, Accuracy-Driven Labelling and Validation of Test Inputs for DL Systems: A Mixed-Integer Linear Programming Approach
AU  - Mohammad Hossein Amini
AU  - Mehrdad Sabetzadeh
AU  - Shiva Nejati
PY  - 2026
UR  - https://arxiv.org/abs/2507.04990
ID  - 2507.04990
ER  -