単体テスト自動化をしらべて欲しいという要望があったので調べている。どうも、 実際の実行と シンボル実行(symbolic execution)というをまぜた、concolic execution というのがキーワードなのかもしれない。調べてみると、どうも日本語の情報がすくない - C…