DEDUCTIVE TESTING