具体的な値の代わりに変数記号を用いて、モデル内の全パスを解析する手法はどれか。

シンボリック実行を用いると、特定の条件分岐を通過するために必要な入力値を数学的に導出できる。