Good stuff. After the bullet points, this seems to basically be saying, "unit tests with 100% coverage" and "bounds checking" make for good software.

I think these are only two of many techniques for improving code quality. Code reviews, in my experience, are also a huge plus.