文献

J-GLOBAL ID：202202250599778564   整理番号：22A1053030

Off-the-Shelf検証器に基づく検証器組合せの構築【JST・京大機械翻訳】

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers

著者 (3件)： Beyer Dirk (LMU Munich, Munich, Germany) ,  Kanav Sudeep (LMU Munich, Munich, Germany) ,  Richter Cedric (Carl von Ossietzky University, Oldenburg, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 49-70  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア検証者は,検証タスクの特性に依存して,異なる強度と弱点を持っている。ポートフォリオと選択アプローチによる検証者の組合せが,強度を組み合わせるのに役立つことはよく知られている。本論文では,(a)既存の,Δoff-the the s最初に,構成フレームワークCoVeriTeamを用いて,既存のツールから検証器の組み合わせを系統的かつ便利に構築する方法に寄与する。逐次ポートフォリオ,並列ポートフォリオ,およびアルゴリズム選択を考察した。第二に,8883検証タスクに関する大規模実験を行い,組合せが追加計算資源なしで検証結果を改善できることを示す。すべての組合せは,公開された検証者から構築され,すなわち,それらは公開されている。本研究の結果は,検証ツールのユーザが無視できるコストで大幅な改善を達成できることを示唆する。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  ポートフォリオ ,  プログラム検証 ,  器具 ,  *検証 ,  プログラム解析
準シソーラス用語： 計算資源 , 【Automatic Indexing@JST】

著者キーワード (7件)： ソフトウェア検証 ,  プログラム解析 ,  協調的検証 ,  ツール組合せ ,  ポートフォリオ ,  アルゴリズム選択 ,  CoVeriTeam

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

タイトルに関連する用語 (3件)： 検証 ,  組合せ ,  構築