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)