単体テスト自動化をしらべていたら

単体テスト自動化をしらべて欲しいという要望があったので調べている。

どうも、 実際の実行と シンボル実行(symbolic execution)というをまぜた、concolic execution というのがキーワードなのかもしれない。

調べてみると、どうも日本語の情報がすくない

- CREST

これが Concolic 実行 ？

- KLEE

LLVM をつかった Symbolic 実行？

- CBMR ?

よくわからないが、そういうパッケージがあったので installしてみた