文献

J-GLOBAL ID：202102277905943974   整理番号：21A0462408

ソフトウェア検証のためのアルゴリズム選択に関する新たな見解と表現【JST・京大機械翻訳】

Attend and represent a novel view on algorithm selection for software verification

著者 (2件)： Richter Cedric (Paderborn University, Paderborn, Germany) ,  Wehrheim Heike (Paderborn University, Paderborn, Germany)
資料名： ACM Proceedings  (ACM Proceedings)
号： ASE ’20  ページ： 1016-1028  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 今日,異なるソフトウェア検証ツールの多くが存在する。手にコンクリート検証タスクがあるとき,ソフトウェア開発者はアルゴリズム選択の問題に直面する。ソフトウェア検証のための既存のアルゴリズムセレクタは,(1)手動で設計した選択ヒューリスティックスまたは(2)マシン学習戦略のいずれかと共に,通常ハンドピックプログラム特徴を使用する。第1の手法は他の選択問題に移転できないが,第2の手法は解釈可能性,すなわち特定のツールを選択する理由への洞察を欠いている。本論文では,ソフトウェア検証のためのアルゴリズム選択のための新しいアプローチを提案した。この手法は,注意機構と共に表現学習を採用した。表現学習は,特徴工学を回避し,すなわち,プログラム特徴のハンドピッキングを回避する。注意は,学習されたセレクタの可読性の形態を可能にする。このアプローチを実装し,実験的に評価し,既存の手法と比較した。評価は,表現学習が手動特徴工学を凌駕するだけでなく,学習モデルの他の選択タスクへの移転性も可能にすることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *アルゴリズム ,  選別器 ,  学習モデル ,  コンクリート ,  可読性 ,  選択問題 ,  発見的方法 ,  *プログラム検証 ,  ソフトウェア開発

著者キーワード (4件)： アルゴリズム選択 ,  注意 ,  表現学習 ,  ソフトウェア検証

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

タイトルに関連する用語 (4件)： ソフトウェア検証 ,  アルゴリズム ,  見解 ,  表現