| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| RECONF, VLD, CPSY (共催) IPSJ-ARC, IPSJ-SLDM (共催) (連催) [詳細] |
2022-01-25 16:40 |
ONLINE | オンライン開催 | ネイティブコード比較に基づくAndroid DEXコンパイラの最適化性能テスト ○吉田直生・石浦菜岐佐（関西学院大）  VLD2021-74 CPSY2021-43 RECONF2021-82 |
本稿では, ネイティブコードの比較に基づく Android DEX コンパイラの最適化性能のランダムテスト手法を提案する... [more] | VLD2021-74 CPSY2021-43 RECONF2021-82 pp.143-147 |
| CPSY, RECONF, VLD (共催) IPSJ-ARC, IPSJ-SLDM (共催) (連催) [詳細] |
2021-01-26 15:30 |
ONLINE | オンライン開催 | ランダムプログラム生成によるCコンパイラのVRP最適化の性能テスト ○村上大喜・石浦菜岐佐（関西学院大） VLD2020-66 CPSY2020-49 RECONF2020-85 |
本稿では C コンパイラの VRP 最適化が意図通りに行われているかどうかを検査するランダムテスト手法を提案する. VR... [more] | VLD2020-66 CPSY2020-49 RECONF2020-85 pp.154-159 |
| HWS, VLD (共催) |
2019-03-01 10:50 |
沖縄 | 沖縄県青年会館 | Android仮想マシンのランダムテストにおける命令列生成の強化 ○清水遼太朗・石浦菜岐佐（関西学院大） VLD2018-124 HWS2018-87 |
本稿では, Android 仮想マシンのランダムテストにおける命令列の生成を強化する手法を提案する. Android 仮... [more] | VLD2018-124 HWS2018-87 pp.187-192 |
| IPSJ-ARC, IPSJ-SLDM (共催) VLD, CPSY, RECONF (共催) (連催) [詳細] |
2018-01-19 16:15 |
神奈川 | 慶應義塾大学 日吉キャンパス 来往舎 | 等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化 ○岩辻光功・石浦菜岐佐（関西学院大） VLD2017-87 CPSY2017-131 RECONF2017-75 |
本稿では, テストプログラムの等価変換に基づくC コンパイラのランダムテストシステムにおいて, 制御文の生成機能を強化す... [more] | VLD2017-87 CPSY2017-131 RECONF2017-75 pp.163-168 |
| DC | 2016-06-20 14:50 |
東京 | 機械振興会館 | エントロピーにもとづくランダムテストパターン生成 ○大豆生田利章（群馬高専） DC2016-13 |
本論文では組合せ論理回路の縮退故障を検出するためのランダムテストパターン生成に 情報理論のエントロピーを適用する方法を... [more] |
DC2016-13 pp.19-23 |
| VLD | 2016-02-29 13:55 |
沖縄 | 沖縄県青年会館 | 等価変換に基づくテストプログラム生成によるCコンパイラのランダムテスト ○中村和博・石浦菜岐佐（関西学院大） VLD2015-112 |
本稿では, C コンパイラの信頼性向上を目的としたランダムテストにおいて, プログラムの等価変換によってテストプログラム... [more] | VLD2015-112 pp.7-12 |
| RECONF, CPSY, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2015-01-29 18:00 |
神奈川 | 慶應義塾大学 日吉キャンパス | Cコンパイラの算術最適化を対象としたテストスイートCF3 ○日比野佑亮・石浦菜岐佐（関西学院大） VLD2014-130 CPSY2014-139 RECONF2014-63 |
本稿では, C コンパイラの算術最適化, 特に定数畳み込みを対象としたテストスイートCF3 を提案する. C コンパイラ... [more] | VLD2014-130 CPSY2014-139 RECONF2014-63 pp.117-122 |
| RECONF, CPSY, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2015-01-30 11:30 |
神奈川 | 慶應義塾大学 日吉キャンパス | ランダムテストによるCコンパイラの算術最適化機会の検出 ○橋本淳史・石浦菜岐佐（関西学院大） VLD2014-139 CPSY2014-148 RECONF2014-72 |
本稿では, Cコンパイラの算術最適化の性能の向上を目的とした, ランダムテストによる最適化機会の検出手法を提案する. 本... [more] | VLD2014-139 CPSY2014-148 RECONF2014-72 pp.169-174 |
| SS, IPSJ-SE (連催) |
2013-10-25 13:30 |
石川 | ITビジネスプラザ武蔵（金沢市内） | ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成 ○平﨑靖博・小島英春・土屋達弘（阪大） SS2013-45 |
本稿ではランダムテストを利用したインタラクションテストについて議論する． ランダムテストにはテストケースの生成が非常に... [more] |
SS2013-45 pp.163-166 |
| CPSY, VLD, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2013-01-16 15:35 |
神奈川 | 慶応義塾大学 日吉キャンパス | Cコンパイラの算術最適化のランダムテストにおける式生成の強化 ○永井絵里子・橋本淳史・石浦菜岐佐（関西学院大） VLD2012-117 CPSY2012-66 RECONF2012-71 |
本稿では, C コンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として, 式生成を強化... [more] | VLD2012-117 CPSY2012-66 RECONF2012-71 pp.57-62 |
| SS | 2013-01-10 16:00 |
沖縄 | 沖縄県石垣市民会館 | パラメータ値に関する制約を考慮したランダムテストの不具合検出率について ○重岡大樹・小島英春・土屋達弘（阪大） |
本稿ではテストケース生成手法の一つであるランダムテストについて議論する.ランダムテストとはパラメータ値をランダムに設定し... [more] | SS2012-51 pp.31-35 |
| VLD | 2009-03-11 10:55 |
沖縄 | 沖縄県男女共同参画センター | 算術式の最適化を対象としたCコンパイラのランダムテスト ○粟津裕亘・石浦菜岐佐（関西学院大） VLD2008-127 |
本稿では, C コンパイラの誤りを検出する一手法として, 算術式の最適化を対象としたランダムテストを提案する. 本手法で... [more] | VLD2008-127 pp.7-10 |
[研究会発表申込システムのトップページに戻る]