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)