ちょっと前に、C言語向けConcolic TestingツールであるCRESTを簡易的なサンプルで試したので、結果を簡単にまとめたいと思う。 なおCRESTを使用した雑感は以下の通り： コードから実行パターンを生成するのみ。テストオラクル問題をどうにかしないといけない…