テストというと、ブラックボックステスト、ユニットテストが基本のようですが、
デバッグ技法として内部構造に着目したテストをやってる人っています？
例えば、内部データ構造の矛盾(ユニーク前提のデータが重複していたり)を検出したりとか。

文献とかでこういうののノウハウを扱ったのがあればいいんですが。