従来のユニットテストで使うテストケースを人間が書くのではなく、コンピューターで大量に自動生成しよう