Detecting Underspecification in Software Requirements via k-NN Coverage Geometry. - Wenyan Yang; Tomás Janovec; Samantha Bavautdin (CoRR, 2026)