情報・システム-ソフトウェアサイエンス(開催日:2018/03/06)

タイトル/著者/発表日/資料番号
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察

岡野 浩三(信州大),  小形 真平(信州大),  楊 ?(信州大),  岡本 圭史(仙台高専),  

[発表日]2018-03-06
[資料番号]SS2017-64
Packer identification based on Malware analyzer BE-PUM

小川 瑞史(北陸先端大),  

[発表日]2018-03-06
[資料番号]SS2017-66
既存コードの再利用によるユーティリティメソッドの自動生成

松本 淳之介(阪大),  肥後 芳樹(阪大),  下仲 健斗(阪大),  楠本 真二(阪大),  

[発表日]2018-03-06
[資料番号]SS2017-69
メソッドレベルセマンティックバージョニングの提案

林 純一(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2018-03-06
[資料番号]SS2017-67
OSS開発における品質に関する議論の可視化に向けて

中西 駿太(奈良先端大),  崔 恩瀞(奈良先端大),  飯田 元(奈良先端大),  

[発表日]2018-03-06
[資料番号]SS2017-70
リファクタリング支援を目的としたメソッドのインライン化事例の特徴調査

山田 悠貴(奈良先端大),  上村 恭平(奈良先端大),  崔 恩瀞(奈良先端大),  吉田 則裕(名大),  飯田 元(奈良先端大),  

[発表日]2018-03-06
[資料番号]SS2017-68
凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について

結縁 祥治(名大),  平岡 祥(名大),  

[発表日]2018-03-06
[資料番号]SS2017-65
品質保証からみた機械学習ソフトウェアの不確かさ

中島 震(NII),  

[発表日]2018-03-07
[資料番号]SS2017-77
ソースコードの“自然さ”を用いたリファクタリング評価手法の検討

有馬 諒(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2018-03-07
[資料番号]SS2017-72
局所性鋭敏型ハッシュを用いたコードクローン検出のためのパラメータ決定手法

徳井 翔梧(阪大),  吉田 則裕(名大),  崔 恩瀞(奈良先端大),  井上 克郎(阪大),  

[発表日]2018-03-07
[資料番号]SS2017-74
システムテストに対するユーザの利用形態に基づく優先度付きテストケース生成手法の提案

斎藤 英美(日立),  利國 愛(日立),  中川 雄一郎(日立),  

[発表日]2018-03-07
[資料番号]SS2017-76
Javaプロジェクトにおける関数型イディオムの実態調査

田中 紘都(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2018-03-07
[資料番号]SS2017-71
関数型言語における停止性検証のためのランキング関数の回帰推定

村本 大起(九大),  佐藤 亮介(九大),  鵜林 尚靖(九大),  亀井 靖高(九大),  

[発表日]2018-03-07
[資料番号]SS2017-75
実行トレースの共通性分析に基づく機能開始点の特定

中野 真明貴(東工大),  野田 訓広(東工大),  小林 隆志(東工大),  林 晋平(東工大),  

[発表日]2018-03-07
[資料番号]SS2017-73