紹介文 :
プログラムを自動解析・自動実行するConcolic Testingは、制御パスを通るテストケースを自動生成し、抽出した値を使ってパスを自動実行するテスト技術です。
この技術のツールであるCRESTを、リグレッションテストに適用し、利用方法と検証結果をまとめました。
Concolic Testingに取り組もうとする方や、リグレッションテストの自動化に興味のある方の一助となる論文です。