プログラムの盗用検出に用いられる動的バースマーク（実行時の情報に基づくバースマーク）の抽出処理は，プログラム構造を考慮した入力セットを準備する必要があり，大きな労力を要する傾向がある．本研究では，シンボリック実行を用いて，動的バースマークをプログラムから効率良く抽出するシステムを検討する．提案システムは，原告プログラム（盗用されているかを知りたいプログラム）を対象にした入力セットをシンボリック実行によって自動的に取得し，それを実行可能形式の原告プログラムと盗用の疑いのある被告プログラムに与えて各バースマークを得る．試作したシステムを用いてバースマークを抽出する実験を行い，提案システムの有効性について考察する．