On Two Problems in the Generation of Program Test Paths | Synapse