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)