A tEsting tEchniquE that aids in sElEcting, in a systEmatic way, a high-yiEld sEt of tEst casEs that logically rElatEs causEs to EffEcts to producE tEst casEs. It has a bEnEficial sidEEffEct in pointing out incomplEtEnEss and ambiguitiEs in spEcifications. (1996-05-10)