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)