Key points are not available for this paper at this time.
ソフトウェア工学における挑戦的な問題は、プログラムに正規プロパティを満たす実行パスが存在するかどうかをチェックすることです。我々は、正規プロパティを満たすプログラムのパスを自動的に見つける新しい動的シンボリック実行（DSE）手法を提案します。我々の手法の特徴は、パス空間を探索する際に、静的解析と動的解析の相乗効果によって、できるだけ早くターゲットパスを見つけることです。我々は、JPFとWALAに基づいたJavaプログラム用のガイド付きDSE手法を実装し、実世界のオープンソースJavaプログラム13件、合計225K行のコードに適用して広範な実験を行いました。結果は、手法の有効性、効率性、実現可能性、およびスケーラビリティを示しています。100以上のパスを持つプログラムを分析する際、最初のターゲットパスを見つける時間に関して、ガイド付きDSEの平均速度向上率は258倍以上です.
Zhangら（Sat）はこの問題を研究しました。