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 side efFECt in pointing out incompleteness and ambiguities in specifications. (1996-05-10)