[randomfool]

Here's some research on the topic, limited to just types- 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.

[coldtea]

Nullability and ranges can also be encoded as types in the appropriate type system.