Either remove implicit assumptions, or assert that they are valid.

Chapter 2: Assert Yourself.

Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C Programs by Steve Maguire

ISBN: 1556155514 This book is available from Amazon