文献

J-GLOBAL ID：202102240402235210   整理番号：21A0462394

多重経路探索による多重経路探索【JST・京大機械翻訳】

Multiplex symbolic execution exploring multiple paths by solving once

著者 (6件)： Zhang Yufeng (Hunan University, Changsha, China) ,  Chen Zhenbang (National University of Defense Technology, Changsha, China) ,  Shuai Ziqi (National University of Defense Technology, Changsha, China) ,  Zhang Tianqi (National University of Defense Technology, Changsha, China) ,  Li Kenli (Hunan University, Changsha, China) ,  Wang Ji (National University of Defense Technology, Changsha, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： ASE ’20  ページ： 846-857  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 経路爆発と制約解決は,記号実行のスケーラビリティに対する2つの課題である。記号実行は,探索戦略によってプログラムの経路空間を調査して,経路の実現可能性をチェックするために,ブラックボックス方式で根底にある制約ソルバーを呼び出す。制約ソルバの他に,他の検索手順を採用して,実現可能性を証明または改善した。したがって,記号実行における二重検索の問題が存在する。本論文では,記号実行のスケーラビリティを改善するために,二重検索手順を統一することを提案する。新しいプログラム入力を生成するために,制約解決手順中に中間割当てを利用する多重記号実行(MuSE)を提案した。MuSEは記号実行における経路探索に対する制約解決手順をマップし,解決の1つの時間における多重経路を探索する。2つの記号実行ツール(KLEEとJPFに基づく)と3つの一般的に使用される制約解決アルゴリズムにMuSEを実行した。実世界ベンチマークに関する広範な実験の結果は,MuSEが,同じカバレッジを達成するために,マグニチュードの高速化のオーダーを有することを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  最適化 ,  マグニチュード ,  ブラックボックス ,  *多重化 ,  高速化 ,  ベンチマーク ,  *経路探索
準シソーラス用語： *多経路 ,  ソルバ ,  探索戦略 , 【Automatic Indexing@JST】

著者キーワード (3件)： 制約解決 ,  数学的最適化 ,  記号実行

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 多重経路 ,  探索