TY - RPRT TI - Detecting Underspecification in Software Requirements via k-NN Coverage Geometry AU - Wenyan Yang AU - Tomáš Janovec AU - Samantha Bavautdin PY - 2026 UR - https://arxiv.org/abs/2603.24248 ID - 2603.24248 ER -