TY - RPRT TI - An Upper Bound on the Probability That a User Encounters an Undiscovered Defect AU - Carlos M. Hernández-Suárez AU - Karla Hernández-Cuevas PY - 2026 UR - https://arxiv.org/abs/2607.17061 ID - 2607.17061 ER -