Detecting Underspecification in Software Requirements via k-NN Coverage Geometry

Wenyan Yang, Tomáš Janovec, Samantha Bavautdin

We propose \geogap{}, a geometric method for detecting missing requirement types in software specifications. The method represents each requirement as a unit vector via a pretraine…