Deduction is types. Induction is testing. Abduction is program analysisdanghica.blogspot.com2 points·theaeolist··0 commentsOpen articleSaveView on HN