記号実行（Symbolic Execution）とコンコリックテスト（Concolic Testing）は、プログラムの特定の箇所を通るような入力値を生成する手法であり、ソフトウェアテストに関する研究においてよく登場する。元々なんとなく理解していたつもりだが、もう少しちゃ…