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)