Here's some research on the topic, limited to just types- http://evanfarrer.blogspot.com/2012/06/unit-testing-isnt-enough-you-need.html?m=1 http://evanfarrer.bl

Here's some research on the topic, limited to just types- http://evanfarrer.blogspot.com/2012/06/unit-testing-isnt-enough-you-need.html?m=1 http://evanfarrer.blogspot.com/2012/06/unit-testing-isnt-eno... Types are one mechanism for static analysis. Better contracts (nullability, valid ranges, etc) goes much further.