抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
記号実行は研究コミュニティにおいて多くの注目を受けている系統的プログラム分析技術である。しかし,スケーリング記号実行は主要な挑戦を示し続けている。Synergise,新規二重積分法を紹介した。一つ,実現可能な範囲を用いた記号実行,通信または共有潜在的に大きな制約データベース(伝統的に必要とされる)もなく,異なる労働者の制約充足結果の共有を可能にすることを向上するための,分散解析と制約を統合し再利用。二,調査されていない範囲を用いた高品質試験,以前に調査されていない経路の探査の効果的な分布のための他の技術により生成された再利用試験に記号的実行を可能にすることを作成するための,例えば,探索ベース生成と記号的実行,試験入力発生のための相補的技術を統合した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】
