>>457とかちょっと自動化に夢見すぎ
テストを自動生成するためには形式的な仕様がないといけないが
実装から仕様を導出することは一般に困難だ
（仕様書読むよりソースコード読んだ方が分かりやすい！
なーんてことはあるかもしれないけどね！）

テストカバレッジを上げたい
（テストカバレッジを上げることでバグの検出率向上が期待できる）なら有効だろうけど
純粋にバグを見つけたいんならあんまり意味ないな