抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
記号実行は,プログラム試験と解析のために広く使われている技術である。プログラムがトレース記号を実行するとき,すべての可能な経路をシミュレーションする。これにより,一般的に「経路爆発」と呼ばれる問題内の状態数の指数関数的成長をもたらす。したがって,より価値ある経路を優先するために限られた資源しか必要としない新しい戦略を提案した。本論文では,この問題を解決するために,モンテカルロ木探索(MCTS)戦略に基づく方法を利用した。次に,提案したMCTSに基づく戦略を,深さ第一探索(DFS)と幅第一探索(BFS)のような他の方法と比較した。また,時間と空間資源制約に基づいて異なるスケールの実験を行った。より小さいテストケースに対して,MCTSはブロック発見率に関してBFSおよびDFSよりも平均1.4倍優れていることを見出した。さらに,より大きなテストケースに対して,MCTSはブロック発見率に関してDFSとBFSより平均2.8倍優れている。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】
