確率的シンボリック実行

効率的な自動意思決定手続きの継続的な開発は、過去10年間にわたりシンボリック実行に関する研究の再興を促進しました。研究者たちは、契約仕様に対してプログラムをチェックすること、最悪の実行性能の境界を推測すること、広く使用されているライブラリコードに対するパス適切なテストスイートを生成することを含む、さまざまなソフトウェア分析問題にシンボリック実行を適用しました。