4 ms·Deduction is types. Induction is testing. Abduction is program analysis2 points by theaeolist 9y ago