NDepend blog: "Toward bug free software: Lines of defense"

I'm using NDepend quite a bit lately, since I've been given the chance ro review the new v6 version of this cool product.

While talking to mr. Smacchia, he pointed out his latest blogpost on bug hunting in your application: http://blog.ndepend.com/author/psmacchia/. Very interesting post!

My takeways are: 

• Code contracts or Debug.Assert() in code. I've played with both, but use neither. I think I should...
• I noted his point on striving for 100% test coverage. That, by the way, is the same point he makes in this video: https://www.youtube.com/watch?v=vjXSg_FkR8I. Hear him out - he knows his stuff!

And I need to read up on how he iterprets the result of StackFrame.GetILOffSet().