A Method to Determine a Basis Set of Paths to Perform Program Testing | NIST