研究業績 | Hitachi DX Engineering Research

2025

NEW LLMを活用した要件-設計トレース支援ツール

大林浩気河合克己

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation

@article{大林浩気2025LLMを活用した要件-設計トレース支援ツール,
  author = {大林浩気 and 河合克己},
  year = {2025},
  title = {LLMを活用した要件-設計トレース支援ツール},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW LLMを活用した設計書チェックリストの保守支援手法の提案

河合克己, 大林浩気, 小笠原奏

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation Testing, Verification Quality, Reliability, Safety Software Process Improvement

Bib HTML

@article{河合克己2025LLMを活用した設計書チェックリスト,
  author = {河合克己 and 大林浩気 and 小笠原奏},
  year = {2025},
  title = {LLMを活用した設計書チェックリストの保守支援手法の提案},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW スプレッドシート形式設計資料に対するRAG誤答分析を通じた回答精度向上手法

増田亮, 是木玄太, 石川貞裕, and 1 more author

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation Testing, Verification Quality, Reliability, Safety Software Process Improvement

Bib HTML

@article{増田亮2025スプレッドシート形式設計資料に対するRAG誤答分析,
  author = {増田亮 and 是木玄太 and 石川貞裕 and 山口潔},
  year = {2025},
  title = {スプレッドシート形式設計資料に対するRAG誤答分析を通じた回答精度向上手法},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW 生成AI活用での業務効率化に向けたルールベースのスプレッドシート資料情報抽出方式の提案

是木玄太, 増田亮, 石川貞裕, and 1 more author

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Software Process Improvement

Bib HTML

@article{是木玄太2025生成AI活用での業務効率化に向けたルールベース,
  author = {是木玄太 and 増田亮 and 石川貞裕 and 山口潔},
  year = {2025},
  title = {生成AI活用での業務効率化に向けたルールベースのスプレッドシート資料情報抽出方式の提案},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW 生成AIを用いた長いメソッドを対象とするソースコード開発機能の開発と評価

村田大二郎, 明神智之, 伊藤信治

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation Code Generation

Bib HTML

@article{村田大二郎2025生成AIを用いた長いメソッド,
  author = {村田大二郎 and 明神智之 and 伊藤信治},
  year = {2025},
  title = {生成AIを用いた長いメソッドを対象とするソースコード開発機能の開発と評価},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW 拡張知識を持つLLMシステム向けテストケース生成基盤TORAK

新原敦介, 竹森司, 小川秀人

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation Code Generation Testing, Verification Quality, Reliability, Safety

Awarded Bib HTML

研究奨励賞

@article{新原敦介2025拡張知識を持つLLMシステム向け,
  author = {新原敦介 and 竹森司 and 小川秀人},
  year = {2025},
  title = {拡張知識を持つLLMシステム向けテストケース生成基盤TORAK},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW 生成AIを活用したITシステム障害対応ナレッジ作成および検索方式の検討と評価

和田清美増田峰義

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

Human Factor AI, ML Quality, Reliability, Safety Software Process Improvement Project Management

Bib HTML

@article{和田清美2025生成AIを活用したITシステム障害対応,
  author = {和田清美 and 増田峰義},
  year = {2025},
  title = {生成AIを活用したITシステム障害対応ナレッジ作成および検索方式の検討と評価},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

NEW Fine-tuning Open-Source Large Language Models for Code Documentation Generation: An Evaluation from an Enterprise Perspective

Jinan Dai Shinji Itoh

ソフトウェアエンジニアリングシンポジウム2025, Sep 2025

AI, ML Design, Implementation

Bib HTML

@article{Dai2025LargeLanguageModels,
  author = {Dai, Jinan and Itoh, Shinji},
  year = {2025},
  title = {Fine-tuning Open-Source Large Language Models for Code Documentation Generation: An Evaluation from an Enterprise Perspective},
  journal = {ソフトウェアエンジニアリングシンポジウム2025},
  month = sep,
}

Toward frictionless system engineering through role-playing multi-agent coordination and enhanced explainability

Kentaro Watanabe, Hideto Ogawa, Nagisa Matsumoto, and 5 more authors

2025 IEEE Computer Society Enterprise Generative AI Summit, Aug 2025

Human Factor AI, ML Design, Implementation Code Generation Testing, Verification Quality, Reliability, Safety Software Process Improvement Project Management

Bib HTML

@article{Kentaro2025WatanabeTowardfrictionlesssystem,
  author = {Watanabe, Kentaro and Ogawa, Hideto and Matsumoto, Nagisa and Guntupalli, Jayesh and Yamasaki, Kenta and Kawakami, Masumi and Miyamoto, Mizuki and Takeda, Masaki},
  year = {2025},
  title = {Toward frictionless system engineering through role-playing multi-agent coordination and enhanced explainability},
  journal = {2025 IEEE Computer Society Enterprise Generative AI Summit},
  month = aug,
}

Bug-locating Method based on Statistical Testing for Quantum Programs

Naoto Sato Ryota Katsube

IEEE Transactions on Software Engineering, Aug 2025

Testing, Verification Quantum Computing

Bib HTML

@article{Naoto2025BuglocatingMethodbased,
  author = {Sato, Naoto and Katsube, Ryota},
  year = {2025},
  title = {Bug-locating Method based on Statistical Testing for Quantum Programs},
  journal = {IEEE Transactions on Software Engineering},
  month = aug,
}

How will generative AI change system development?

Hironori WASHIZAKI, Atsushi Motoyama, Hideto OGAWA

Insights from AI/Analytics, Hitachi Research & Development, Jun 2025

AI, ML Human Factor Project Management Software Process Improvement Evolution, Analysis Quality, Reliability, Safety Requirement Modeling Architecture Design, Implementation Code Generation Testing, Verification

Bib HTML
@article{WASHIZAKI2025HowwillGenAI, author = {WASHIZAKI, Hironori and Motoyama, Atsushi and OGAWA, Hideto}, year = {2025}, title = {How will generative AI change system development?}, journal = { Insights from AI/Analytics, Hitachi Research & Development}, month = jun, }

Evaluating Mutation-based Fault Localization for Quantum Programs

Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, and 4 more authors

EASE 2025 Short Papers, Emerging Results, Jun 2025

Testing, Verification Quantum Computing

Bib HTML

@article{Yuta2025EvaluatingMutationbased,
  author = {Ishimoto, Yuta and Kondo, Masanari and Ubayashi, Naoyasu and Kamei, Yasutaka and Katsube, Ryota and Sato, Naoto and Ogawa, Hideto},
  year = {2025},
  title = {Evaluating Mutation-based Fault Localization for Quantum Programs},
  journal = {EASE 2025 Short Papers, Emerging Results},
  month = jun,
}

生成 AI はシステム開発をどう変革していくのか？

鷲崎弘宜, 元山厚, 小川秀人

Insights from AI/Analytics, Mar 2025

AI, ML Human Factor Project Management Evolution, Analysis Requirement Quality, Reliability, Safety Architecture Design, Implementation Code Generation Testing, Verification

Bib HTML

@article{鷲崎弘宜2025生成AIはシステム開発をどう変革していくのか?,
  author = {鷲崎弘宜 and 元山厚 and 小川秀人},
  year = {2025},
  title = {生成 AI はシステム開発をどう変革していくのか？},
  journal = {Insights from AI/Analytics},
  month = mar,
}

生成AIによる業務変革：2030年のソフトウェア産業像の推察

川上真澄

2024年度JEITA ソフトウェアエンジニアリング技術ワークショップ, Feb 2025

AI, ML Design, Implementation Code Generation Requirement Human Factor Project Management Software Process Improvement Evolution, Analysis Architecture

Bib HTML

@article{川上真澄2025生成AIによる業務変革,
  author = {川上真澄},
  year = {2025},
  title = {生成AIによる業務変革：2030年のソフトウェア産業像の推察},
  journal = {2024年度JEITA ソフトウェアエンジニアリング技術ワークショップ},
  month = feb,
}

Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array

Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi, and 1 more author

IEEE Transactions on Quantum Engineering, Feb 2025

AI, ML Design, Implementation Code Generation Requirement Human Factor Project Management Software Process Improvement Evolution, Analysis Architecture

DOI Bib HTML

@article{Naoto2025GeneratingShuttlingProcedures,
  author = {Sato, Naoto and Sekiguchi, Tomonori and Utsugi, Takeru and Mizuno, Hiroyuki},
  year = {2025},
  title = {Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array},
  journal = {IEEE Transactions on Quantum Engineering},
  doi = {10.1109/TQE.2025.3542462},
}

2024

Managing the Variability of a Logistics Robotic System

Kentaro Yoshimura, Yuta Yamauchi, Hideo Takahashi

The Journal of Systems & Software, Dec 2024

Application Software Product Lines Architecture Modeling

Bib HTML

@article{Kentaro2024ManagingtheVariability,
  author = {Yoshimura, Kentaro and Yamauchi, Yuta and Takahashi, Hideo},
  year = {2024},
  title = {Managing the Variability of a Logistics Robotic System},
  journal = {The Journal of Systems & Software},
  month = dec,
}

サービス連動テストの網羅度測定を介したテスト漏れ候補の検知

布村佑奈, 清水遼, 鹿糠秀行, and 1 more author

コンピュータソフトウェア, Vol.41, No.4, pp7-13, 2024, Dec 2024

Application Software Product Lines Architecture Modeling

Bib HTML

@article{布村佑奈2024サービス連動テストの網羅度測定を介したテスト漏れ候補の検知,
  author = {布村佑奈 and 清水遼 and 鹿糠秀行 and 河合克己},
  year = {2024},
  title = {サービス連動テストの網羅度測定を介したテスト漏れ候補の検知},
  journal = {コンピュータ ソフトウェア, Vol.41, No.4, pp7-13, 2024},
  month = dec,
}

Enhancing Source Code Comment Generation via Retrieval-Augmented Generation with Design Document Term Dictionary

Kazu Nishikawa, Genta Koreki, Hideyuki Kanuka

APSEC2024 ERA Track, Nov 2024

AI, ML Design, Implementation

Bib

@article{Kazu2024EnhancingSourceCodeCommen,
  author = {Nishikawa, Kazu and Koreki, Genta and Kanuka, Hideyuki},
  year = {2024},
  title = {Enhancing Source Code Comment Generation via Retrieval-Augmented Generation with Design Document Term Dictionary},
  journal = {APSEC2024 ERA Track},
  month = nov,
}

A Machine-learning-based Approach for Project Success/Failure Prediction in Software Development

Yuhao Wu, Makoto Ichii, Masumi Kawakami, and 2 more authors

第31回ソフトウェア工学の基礎ワークショップ (FOSE2024), Nov 2024

Project Management AI, ML

Bib

@article{Yuhao2024Success/Failure,
  author = {Wu, Yuhao and Ichii, Makoto and Kawakami, Masumi and Nakaya, Fumie and Jodai, Yoshinori},
  year = {2024},
  title = {A Machine-learning-based Approach for Project Success/Failure Prediction in Software Development},
  journal = {第31回ソフトウェア工学の基礎ワークショップ (FOSE2024)},
  month = nov,
}

大規模言語モデルを用いた派生開発向け改修取り込み支援ツール

大林浩気河合克己

第31回ソフトウェア工学の基礎ワークショップ (FOSE2024) ポスター発表, Nov 2024

AI, ML Design, Implementation

Bib

@article{大林2024大規模言語モデルを用いた派生開発向け改修取り込み支援ツール,
  author = {大林浩気 and 河合克己},
  year = {2024},
  title = {大規模言語モデルを用いた派生開発向け改修取り込み支援ツール},
  journal = {第31回ソフトウェア工学の基礎ワークショップ (FOSE2024) ポスター発表},
  month = nov,
}

LLMを用いた形式仕様記述による検証の試行評価

新原敦介小川秀人

ソフトウェアエンジニアリングシンポジウム2024論文集, Sep 2024

AI, ML Formal Method Testing, Verification

Awarded Bib HTML

企業ポスター賞

@article{新原敦介2024LLMを用いた形式仕様記述による検証の試行評価,
  author = {新原敦介 and 小川秀人},
  year = {2024},
  title = {LLMを用いた形式仕様記述による検証の試行評価},
  journal = {ソフトウェアエンジニアリングシンポジウム2024論文集},
  pages = {315--316},
  month = sep,
}

マイクロサービスアーキテクチャへの移行における対話的現新比較手法

木下崇央, 鹿糠秀行, 乾広二, and 2 more authors

ソフトウェアエンジニアリングシンポジウム2024論文集, Sep 2024

AI, ML Evolution, Analysis Testing, Verification

Bib HTML

@article{木下崇央2024マイクロサービスアーキテクチャへの移行における対話的現新比較手法,
  author = {木下崇央 and 鹿糠秀行 and 乾広二 and 田中優利 and 太田聡},
  year = {2024},
  title = {マイクロサービスアーキテクチャへの移行における対話的現新比較手法},
  journal = {ソフトウェアエンジニアリングシンポジウム2024論文集},
  pages = {317-318},
  month = sep,
}

類似案件検索を活用した要求仕様評価技術の開発

森承宇, 井奥章, 永吉勤, and 1 more author

ソフトウェアエンジニアリングシンポジウム2024,ポスター, Sep 2024

AI, ML Evolution, Analysis Testing, Verification

Bib

@article{森承宇2024類似案件検索を活用した要求仕様評価技術の開発,
  author = {森承宇 and 井奥章 and 永吉勤 and 小川秀人},
  year = {2024},
  title = {類似案件検索を活用した要求仕様評価技術の開発},
  journal = {ソフトウェアエンジニアリングシンポジウム2024,ポスター},
  month = sep,
}

生成AI普及によるソフト開発ビジネスへの影響検討

川上真澄小川秀人

ソフトウェアエンジニアリングシンポジウム2024 ワークショップ, 情報処理学会ソフトウェア工学研究会, Sep 2024

AI, ML Application

Bib HTML

@article{川上真澄2024生成AI普及によるソフト開発ビジネスへの影響検討,
  author = {川上真澄 and 小川秀人},
  year = {2024},
  title = {生成AI普及によるソフト開発ビジネスへの影響検討 },
  journal = {ソフトウェアエンジニアリングシンポジウム2024 ワークショップ, 情報処理学会ソフトウェア工学研究会},
  month = sep,
}

Estimating Air Consumption in Compressed Air Systems

Yohei Kono Yoshinori Mochizuki

SICE FES 2024, Aug 2024

AI, ML Application

Bib HTML

@article{Yohei2024EstimatingAirConsumption,
  author = {Kono, Yohei and Mochizuki, Yoshinori},
  year = {2024},
  title = {Estimating Air Consumption in Compressed Air Systems},
  journal = {SICE FES 2024},
  month = aug,
}

企業グループ横断的な組み込みソフトウェア設計力の評価および強化施策の実践

小川秀人, 島袋潤, 日野雅透, and 2 more authors

情報処理学会トランザクションデジタルプラクティス, Jul 2024

AI, ML Application

Bib HTML

@article{小川秀人2024企業グループ横断的な組み込みソフトウェア設計力の評価および強化施策の実践,
  author = {小川秀人 and 島袋潤 and 日野雅透 and 若林昇 and 川上真澄},
  year = {2024},
  title = {企業グループ横断的な組み込みソフトウェア設計力の評価および強化施策の実践},
  journal = {情報処理学会トランザクションデジタルプラクティス},
  volume = {5 No.3},
  pages = {38--49},
  month = jul,
}

エンジニアリングへの生成AIのインパクト

小川秀人

情報処理学会連続セミナー2024, 第3回産業界での生成AI開発／活用, Jul 2024

AI, ML Application

Bib HTML

@article{小川秀人2024エンジニアリングへの生成AIのインパクト,
  author = {小川秀人},
  year = {2024},
  title = {エンジニアリングへの生成AIのインパクト},
  journal = {情報処理学会 連続セミナー2024, 第3回 産業界での生成AI開発／活用},
  month = jul,
}

状態遷移テストツールAustinの開発と組込み装置向けシナリオ作成工数削減アプローチ

守谷歩

ソフトウェア・シンポジウム2024, Jun 2024

AI, ML Application

Bib HTML

@article{守谷歩2024状態遷移テストツールAustinの開発と組込み装置向けシナリオ作成工数削減アプローチ,
  author = {守谷歩},
  year = {2024},
  title = {状態遷移テストツールAustinの開発と組込み装置向けシナリオ作成工数削減アプローチ},
  journal = {ソフトウェア・シンポジウム2024},
  month = jun,
}

テキスト駆動型属性操作に基づく生成的自動データ拡張の検討

関根理敏, 新原敦介, 明神智之, and 1 more author

第38回人工知能学会全国大会, May 2024

AI, ML Testing, Verification

Bib HTML

@article{関根2024テキスト駆動型属性操作に基づく生成的自動データ拡張の検討,
  author = {関根理敏 and 新原敦介 and 明神智之 and 今谷恵理},
  year = {2024},
  title = {テキスト駆動型属性操作に基づく生成的自動データ拡張の検討},
  journal = {第38回人工知能学会全国大会},
  month = may,
}

Locating Buggy Segments in Quantum Program Debugging

Naoto Sato Ryota Katsube

ICSE-NIER’24, April 14–20, 2024, Lisbon, Portugal, Apr 2024

Testing, Verification Quantum Computing

Bib HTML

@article{Naoto2024Locating,
  author = {Sato, Naoto and Katsube, Ryota},
  year = {2024},
  title = {Locating Buggy Segments in Quantum Program Debugging},
  journal = {ICSE-NIER’24, April 14–20, 2024, Lisbon, Portugal},
  month = apr,
}

Enhancing Automated Microservice Decomposition via Multi-Objective Optimization

Takahiro Kinoshita Hideyuki Kanuka

IEEE Access, vol. 12, pp. 55697-55710, 2024, doi: 10.1109/ACCESS.2024.3389700., Apr 2024

Architecture Design, Implementation

Bib HTML

@article{Takahiro2024Enhancing,
  author = {Kinoshita, Takahiro and Kanuka, Hideyuki},
  year = {2024},
  title = {Enhancing Automated Microservice Decomposition via Multi-Objective Optimization},
  journal = {IEEE Access, vol. 12, pp. 55697-55710, 2024, doi: 10.1109/ACCESS.2024.3389700.},
  month = apr,
}

自動運転の高度化に向けたリスク予測技術

堀田勇樹

Hitachiアカデミックシステム研究会（HAS研）第50回研究会, Mar 2024

Application autonomous driving

Bib

@article{堀田2024自動運転の高度化に向けたリスク予測技術,
  author = {堀田勇樹},
  year = {2024},
  title = {自動運転の高度化に向けたリスク予測技術},
  journal = {Hitachiアカデミックシステム研究会（HAS研）第50回研究会},
  month = mar,
}

量子プログラムにおけるSATDの分類と評価

中村悠人, 石本優太, 勝部瞭太, and 5 more authors

電子情報通信学会技術研究報告, Volume 123, Number 443, Mar 2024

Quantum Computing Quality, Reliability, Safety

Bib HTML

@article{中村悠人2024量子プログラムにおけるSATDの分類と評価,
  author = {中村悠人 and 石本優太 and 勝部瞭太 and 佐藤直人 and 小川秀人 and 近藤将成 and 亀井靖高 and 鵜林尚靖},
  year = {2024},
  title = {量子プログラムにおけるSATDの分類と評価},
  journal = {電子情報通信学会技術研究報告, Volume 123, Number 443},
  month = mar,
}

実践　生成AIの教科書　－　実績豊富な活用事例とノウハウで学ぶ

AIセンター監修 (小川秀人共著) 日立製作所Generative

リックテレコム, Mar 2024

AI, ML Design, Implementation

Bib HTML

@article{日立製作所Generative2024実践生成AIの教科書-実績豊富な活用事例とノウハウで学ぶ,
  author = {日立製作所Generative, AIセンター監修 (小川秀人共著)},
  year = {2024},
  title = {実践　生成AIの教科書　－　実績豊富な活用事例とノウハウで学ぶ},
  journal = {リックテレコム},
  month = mar,
}

Test-suite-guided discovery of least privilege for cloud infrastructure as code

Ryo Shimizu, Yuna Nunomura, Hideyuki Kanuka

Automated Software Engineering 31, 25, Mar 2024

Testing, Verification Cloud Computing

Bib HTML

@article{Ryo2024Test,
  author = {Shimizu, Ryo and Nunomura, Yuna and Kanuka, Hideyuki},
  year = {2024},
  title = {Test-suite-guided discovery of least privilege for cloud infrastructure as code},
  journal = {Automated Software Engineering 31, 25},
  month = mar,
}

大規模言語モデル用いた類似見直し支援ツール

大林浩気河合克己

電子情報通信学会 2024年総合大会(D-13-13), Mar 2024

Quality, Reliability, Safety AI, ML

Bib

@article{大林浩気2024大規模言語モデル用いた類似見直し支援ツール,
  author = {大林浩気 and 河合克己},
  year = {2024},
  title = {大規模言語モデル用いた類似見直し支援ツール},
  journal = {電子情報通信学会 2024年総合大会(D-13-13)},
  month = mar,
}

GPT-4Vを活用したスケッチ駆動型プロトタイプ開発の試行

鹿糠秀行小川秀人

電子情報通信学会 2024年総合大会(D-13-04), Mar 2024

AI, ML Design, Implementation

Bib

@article{鹿糠秀行2024GPT,
  author = {鹿糠秀行 and 小川秀人},
  year = {2024},
  title = {GPT-4Vを活用したスケッチ駆動型プロトタイプ開発の試行},
  journal = {電子情報通信学会 2024年総合大会(D-13-04)},
  month = mar,
}

ChatGPTを活用したバグレポートの文章単位の自動ラベリング

野寄祐樹, 鹿糠秀行, 野尻周平, and 2 more authors

電子情報通信学会 2024年総合大会(D-3-14) ※早大共同研究成果, Mar 2024

AI, ML Quality, Reliability, Safety

Bib

@article{野寄祐樹2024ChatGPT,
  author = {野寄祐樹 and 鹿糠秀行 and 野尻周平 and 鷲崎弘宜 and 深澤良彰},
  year = {2024},
  title = {ChatGPTを活用したバグレポートの文章単位の自動ラベリング},
  journal = {電子情報通信学会 2024年総合大会(D-3-14) ※早大共同研究成果},
  month = mar,
}

企業インターンシップにおけるソフトウェア開発作業へのChatGPTの応用

木下崇央, 田口真衣, 平林義健, and 2 more authors

電子情報通信学会 2024年総合大会(D-3-02) ※23年(シスE3)夏季インターンシップの成果, Mar 2024

AI, ML Human Factor

Bib

@article{木下崇央2024企業インターンシップにおけるソフトウェア開発作業へのChatGPTの応用,
  author = {木下崇央 and 田口真衣 and 平林義健 and 山田塔太 and 鹿糠秀行},
  year = {2024},
  title = {企業インターンシップにおけるソフトウェア開発作業へのChatGPTの応用},
  journal = {電子情報通信学会 2024年総合大会(D-3-02) ※23年(シスE3)夏季インターンシップの成果},
  month = mar,
}

生成AIを活用した自動車向けソフトウェア開発の効率化

健太郎吉村

第9回オートモーティブ・ソフトウェア・フロンティア 2024, Feb 2024

Application AI, ML

Bib

@article{吉村2024生成AIを活用した自動車向けソフトウェア開発の効率化,
  author = {吉村, 健太郎},
  year = {2024},
  title = {生成AIを活用した自動車向けソフトウェア開発の効率化},
  journal = {第9回 オートモーティブ・ソフトウェア・フロンティア 2024},
  month = feb,
}

Improvement of Lane-Level Lateral Position Estimation for Ego Vehicle From Front Camera Data

Syafril Bandara, Punit Galav, Takehiko Nagano, and 3 more authors

2024 10th International Conference on Mechatronics and Robotics Engineering (ICMRE), Feb 2024

Application Design, Implementation

Awarded Bib HTML

Best Presentation

@article{Syafril2024Improvement,
  author = {Bandara, Syafril and Galav, Punit and Nagano, Takehiko and Atarashi, Yoshitaka and Nishida, Tetsuya and Jiralerspong, Trongmun},
  year = {2024},
  title = {Improvement of Lane-Level Lateral Position Estimation for Ego Vehicle From Front Camera Data},
  journal = {2024 10th International Conference on Mechatronics and Robotics Engineering (ICMRE)},
  month = feb,
}

AI品質『マネジメント』への期待

小川秀人

GrandCanvas:AI品質の未来を共に描く～AI品質マネジメントネットワーキングシンポジウム～, Feb 2024

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川秀人2024AI品質マネジメントへの期待,
  author = {小川秀人},
  year = {2024},
  title = { AI品質『マネジメント』への期待},
  journal = {GrandCanvas:AI品質の未来を共に描く～AI品質マネジメントネットワーキングシンポジウム～},
  month = feb,
}

ラベリングベース高速経路探索における通行規制対応方式

関口隆昭寺岡秀敏

情報処理学会研究報告コンシューマ・デバイス＆システム（CDS）2024-CDS-39(44), Jan 2024

AI, ML Quality, Reliability, Safety

Bib HTML

@article{関口隆昭2024ラベリングベース高速経路探索における通行規制対応方式,
  author = {関口隆昭 and 寺岡秀敏},
  year = {2024},
  title = {ラベリングベース高速経路探索における通行規制対応方式},
  journal = {情報処理学会研究報告コンシューマ・デバイス＆システム（CDS）2024-CDS-39(44)},
  month = jan,
}

AI技術の変化を踏まえたこれからの品質保証

小川秀人

Open QA4AI Conference, Jan 2024

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川秀人2024AI技術の変化を踏まえたこれからの品質保証,
  author = {小川秀人},
  year = {2024},
  title = {AI技術の変化を踏まえたこれからの品質保証},
  journal = {Open QA4AI Conference},
  month = jan,
}

TEEを用いた関数型暗号による秘匿配送マッチングの実現

古家直樹, 矢内直人(阪大), 藤原融(阪大・島根大)

情処論文誌デジタルプラクティス,Vol.5,No.1, Jan 2024

AI, ML Quality, Reliability, Safety

Bib HTML

@article{古家直樹2024TEEを用いた関数型暗号,
  author = {古家直樹 and 矢内直人(阪大) and 藤原融(阪大・島根大)},
  year = {2024},
  title = {TEEを用いた関数型暗号による秘匿配送マッチングの実現},
  journal = {情処論文誌デジタルプラクティス,Vol.5,No.1},
  month = jan,
}

LLMを用いたVDM++の生成の評価

新原敦介小川秀人

ウィンターワークショップ2024・イン・鹿児島, Jan 2024

Testing, Verification Design, Implementation AI, ML

Bib HTML

@article{新原敦介2024LLM,
  author = {新原敦介 and 小川秀人},
  year = {2024},
  title = {LLMを用いたVDM++の生成の評価},
  journal = {ウィンターワークショップ2024・イン・鹿児島},
  month = jan,
}

パネルディスカッションポジショントーク

小川秀人

Open QA4AI Conference 2023, Jan 2024

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川秀人2024パネルディスカッションポジショントーク,
  author = {小川秀人},
  year = {2024},
  title = {パネルディスカッション ポジショントーク},
  journal = {Open QA4AI Conference 2023},
  month = jan,
}

Variability Management for Large Language Model Tasks: Practical Insights from an Industrial Application

Kentaro Yoshimura Haruki Oishi

28th ACM International Systems and Software Product Line Conference, Sep 2024

AI, ML Software Product Lines

Bib

@article{Kentaro2024Variability,
  author = {Yoshimura, Kentaro and Oishi, Haruki},
  year = {2024},
  title = {Variability Management for Large Language Model Tasks: Practical Insights from an Industrial Application},
  journal = {28th ACM International Systems and Software Product Line Conference},
  month = sep,
}

推論結果の不確実性に基づく運用時データシフトの検知

來間啓伸, 村田大二郎, 関根理敏, and 1 more author

日本ソフトウェア科学会研究会資料シリーズ(Web) (99) 2023年, Feb 2024

AI, ML Software Product Lines

Bib HTML

@article{來間啓伸2024推論結果の不確実性に基づく運用時データシフトの検知,
  author = {來間啓伸 and 村田大二郎 and 関根理敏 and 新原敦介},
  year = {2024},
  title = {推論結果の不確実性に基づく運用時データシフトの検知},
  journal = {日本ソフトウェア科学会研究会資料シリーズ(Web) (99) 2023年},
  month = feb,
}

マルチモーダル向け多主体KPI貨客混載マッチングシステムの開発

松本紀子, 古家直樹, 下村真帆, and 1 more author

情報処理学会研究報告コンシューマ・デバイス＆システム, Mar 2024

AI, ML Software Product Lines

Bib HTML

@article{松本2024マルチモーダル向け多主体KPI貨客混載マッチングシステムの開発,
  author = {松本紀子 and 古家直樹 and 下村真帆 and 古屋聡一},
  year = {2024},
  title = {マルチモーダル向け多主体KPI貨客混載マッチングシステムの開発},
  journal = {情報処理学会研究報告コンシューマ・デバイス＆システム},
  month = mar,
}

2023

移動障害物を考慮した経路計画を可能とするリスクマップ

堀田勇樹, Gabriel Daniel, 稲葉龍, and 2 more authors

情報処理学会論文誌 Vol.64, No.11, pp.1548-1560, Nov 2023

autonomous driving Application

Bib

@article{堀田勇樹2023移動障害物を考慮した経路計画を可能とするリスクマップ,
  author = {堀田勇樹 and Daniel, Gabriel and 稲葉龍 and 児島隆生 and 早瀬茂規},
  year = {2023},
  title = {移動障害物を考慮した経路計画を可能とするリスクマップ},
  journal = {情報処理学会論文誌 Vol.64, No.11, pp.1548-1560},
  month = nov,
}

サービス連動テスト網羅度の測定を通じたテスト漏れ候補の検出

田中佑奈, 清水遼, 鹿糠秀行, and 1 more author

第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov 2023

autonomous driving Application

Bib HTML

@article{田中佑奈2023サービス連動テスト網羅度の測定を通じたテスト漏れ候補の検出,
  author = {田中佑奈 and 清水遼 and 鹿糠秀行 and 河合克己},
  year = {2023},
  title = {サービス連動テスト網羅度の測定を通じたテスト漏れ候補の検出},
  journal = {第30回ソフトウェア工学の基礎ワークショップ (FOSE2023)},
  month = nov,
}

ChatGPTを用いたソースコードコメント生成における用語抽出と反映の検

西川和寿, 鹿糠秀行, 是木玄太, and 1 more author

第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov 2023

Evolution, Analytics AI, ML

Awarded Bib

ライブ論文賞

@article{西川和寿2023ChatGPT,
  author = {西川和寿 and 鹿糠秀行 and 是木玄太 and 曾我遼},
  year = {2023},
  title = {ChatGPTを用いたソースコードコメント生成における用語抽出と反映の検},
  journal = {第30回ソフトウェア工学の基礎ワークショップ (FOSE2023)},
  month = nov,
}

意図的なソースコード切り出しに基づくChatGPTを用いたソースコードコメント生成方法の提案

是木玄太, 井奥章, 村田大二郎, and 3 more authors

第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov 2023

Evolution, Analytics AI, ML

Bib

@article{是木玄太2023意図的なソースコード切り出しに基づくChatGPTを用いたソースコードコメント生成方法の提案,
  author = {是木玄太 and 井奥章 and 村田大二郎 and 鹿糠秀行 and 石川貞裕 and 山口潔},
  year = {2023},
  title = {意図的なソースコード切り出しに基づくChatGPTを用いたソースコードコメント生成方法の提案},
  journal = {第30回ソフトウェア工学の基礎ワークショップ (FOSE2023)},
  month = nov,
}

画面イベント関係情報類似度に基づく画面コーディング支援技術の提案

村田大二郎, 是木玄太, 井奥章, and 2 more authors

第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov 2023

Evolution, Analytics AI, ML

Bib

@article{村田大二郎2023画面イベント関係情報類似度に基づく画面コーディング支援技術の提案,
  author = {村田大二郎 and 是木玄太 and 井奥章 and 石川貞裕 and 山口潔},
  year = {2023},
  title = {画面イベント関係情報類似度に基づく画面コーディング支援技術の提案},
  journal = {第30回ソフトウェア工学の基礎ワークショップ (FOSE2023)},
  month = nov,
}

配列を含むREST API向けテスト自動生成のためのペアワイズ法の拡張

鈴木康文川上真澄

第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov 2023

Evolution, Analytics AI, ML

Bib

@article{鈴木康文2023配列を含むRESTAPI向けテスト自動生成のためのペアワイズ法の拡張,
  author = {鈴木康文 and 川上真澄},
  year = {2023},
  title = {配列を含むREST API向けテスト自動生成のためのペアワイズ法の拡張},
  journal = {第30回ソフトウェア工学の基礎ワークショップ (FOSE2023)},
  month = nov,
}

Leveraging Execution Trace with ChatGPT: A Case Study on Automated Fault Diagnosis

Takafumi Sakura, Ryo Soga, Hideyuki Kanuka, and 2 more authors

39th IEEE Int. Conf. on Softw. Maintenance and Evolution (ICSME2023), Oct 2023

Evolution, Analytics AI, ML

Bib

@article{Takafumi2023Leveraging,
  author = {Sakura, Takafumi and Soga, Ryo and Kanuka, Hideyuki and Shimari, Kazumasa and Ishio, Takashi},
  year = {2023},
  title = {Leveraging Execution Trace with ChatGPT: A Case Study on Automated Fault Diagnosis},
  journal = {39th IEEE Int. Conf. on Softw. Maintenance and Evolution (ICSME2023)},
  month = oct,
}

運転条件の異なるバッチ重合プロセスにおけるグレイボックスモデルに基づくモデル予測制御に向けた数値的検討

大津智宏, 河野洋平, 望月義則

第66回自動制御連合講演会, Oct 2023

AI, ML Control Engineering

Bib

@article{大津智宏2023運転条件の異なるバッチ重合プロセスにおけるグレイボックスモデルに基づくモデル予測制御に向けた数値的検討,
  author = {大津智宏 and 河野洋平 and 望月義則},
  year = {2023},
  title = {運転条件の異なるバッチ重合プロセスにおけるグレイボックスモデルに基づくモデル予測制御に向けた数値的検討},
  journal = {第66回自動制御連合講演会},
  month = oct,
}

パネルディスカッション「企業におけるAI品質マネジメントに必要な視点」ポジショントーク

小川秀人

第２回AI品質マネジメントシンポジウム, Oct 2023

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川秀人2023パネルディスカッションポジショントーク,
  author = {小川秀人},
  year = {2023},
  title = {パネルディスカッション「企業におけるAI品質マネジメントに必要な視点」ポジショントーク},
  journal = {第２回AI品質マネジメントシンポジウム},
  month = oct,
}

善きに改め、善きを改め

小川秀人

SPI Japan 2023, Oct 2023

Software Process Improvement Testing, Verification AI, ML

Bib

Panel – Intelligent SPLs

Kentaro Yoshimura

27th ACM International Systems and Software Product Line Conference (SPLC 2023), Sep 2023

Software Process Improvement Testing, Verification AI, ML

Bib

@article{Kentaro2023Panel,
  author = {Yoshimura, Kentaro},
  year = {2023},
  title = {Panel – Intelligent SPLs},
  journal = {27th ACM International Systems and Software Product Line Conference (SPLC 2023)},
  month = sep,
}

Managing Variability of Logistics Robot System: Experience at Hitachi

Kentaro Yoshimura, Yuta Yamauchi, Hideo Takahashi

27th ACM International Systems and Software Product Line Conference (SPLC 2023), Sep 2023

Software Product Lines Application

Bib

@article{Kentaro2023Managing,
  author = {Yoshimura, Kentaro and Yamauchi, Yuta and Takahashi, Hideo},
  year = {2023},
  title = {Managing Variability of Logistics Robot System: Experience at Hitachi},
  journal = {27th ACM International Systems and Software Product Line Conference (SPLC 2023)},
  month = sep,
}

Exploring ChatGPT Approach to Bidirectional Traceability Problem between Design Models and Code

Hideyuki Kanuka, Genta Koreki, Ryo Soga, and 1 more author

arXiv:2309.14992 cs.SE, Sep 2023

AI, ML Design, Implementation Evolution, Analytics

Bib HTML

@article{Hideyuki2023Exploring,
  author = {Kanuka, Hideyuki and Koreki, Genta and Soga, Ryo and Nishikawa, Kazu},
  year = {2023},
  title = {Exploring ChatGPT Approach to Bidirectional Traceability Problem between Design Models and Code},
  journal = {arXiv:2309.14992 cs.SE},
  month = sep,
}

データドリブンなソフトウェア開発プロジェクトマネジメント

川上真澄

PMシンポジウム2023, Sep 2023

AI, ML Project Management

Bib HTML

@article{川上真澄2023データドリブンなソフトウェア開発プロジェクトマネジメント,
  author = {川上真澄},
  year = {2023},
  title = {データドリブンなソフトウェア開発プロジェクトマネジメント},
  journal = {PMシンポジウム2023},
  month = sep,
}

AI搭載プロダクトの品質保証に関する国内外の動向と検証技術

小川秀人

ソフトウェア品質シンポジウム2023 (SQiP2023), Sep 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Bib HTML

@article{小川秀人2023AI,
  author = {小川秀人},
  year = {2023},
  title = {AI搭載プロダクトの品質保証に関する国内外の動向と検証技術},
  journal = {ソフトウェア品質シンポジウム2023 (SQiP2023)},
  month = sep,
}

The 20-year journey of SPLE in Hitachi and the next

Hideto Ogawa Kentaro Yoshimura

27th Systems and Software Product Line Conference (SPLC2023) Keynote, Aug 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Bib HTML

@article{Hideto2023The,
  author = {Ogawa, Hideto and Yoshimura, Kentaro},
  year = {2023},
  title = {The 20-year journey of SPLE in Hitachi and the next},
  journal = {27th Systems and Software Product Line Conference (SPLC2023) Keynote},
  month = aug,
}

時系列データ中の部分系列の特性を考慮した距離指標の提案

高澤一平, 河野洋平, 但馬慶行, and 1 more author

2023年電気学会電子・情報・システム部門大会, Aug 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Bib

@article{高澤一平2023時系列データ中の部分系列の特性を考慮した距離指標の提案,
  author = {高澤一平 and 河野洋平 and 但馬慶行 and 望月義則},
  year = {2023},
  title = {時系列データ中の部分系列の特性を考慮した距離指標の提案},
  journal = {2023年電気学会 電子・情報・システム部門大会},
  month = aug,
}

例外処理を検査するテストが実行経路に基づく欠陥限局手法に与える影響の調査

吉岡遼, 肥後芳樹, 柗本真佑, and 3 more authors

ソフトウェアエンジニアシンポジウム(SES2023), Aug 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Awarded Bib HTML

最優秀論文賞

@article{吉岡遼2023例外処理を検査するテストが実行経路に基づく欠陥限局手法に与える影響の調査,
  author = {吉岡遼 and 肥後芳樹 and 柗本真佑 and 楠本真二 and 伊藤信治 and Huyen, Phan Thi Thanh},
  year = {2023},
  title = {例外処理を検査するテストが実行経路に基づく欠陥限局手法に与える影響の調査},
  journal = {ソフトウェアエンジニアシンポジウム(SES2023)},
  month = aug,
}

設計モデルとコード間の双方向トレーサビリティ問題へのChatGPT適用実験

鹿糠秀行, 是木玄太, 曾我遼, and 1 more author

ソフトウェアエンジニアシンポジウム(SES2023), Aug 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Awarded Bib HTML

企業ポスター賞

@article{鹿糠秀行2023設計モデルとコード間の双方向トレーサビリティ問題へのChatGPT適用実験,
  author = {鹿糠秀行 and 是木玄太 and 曾我遼 and 西川和寿},
  year = {2023},
  title = {設計モデルとコード間の双方向トレーサビリティ問題へのChatGPT適用実験},
  journal = {ソフトウェアエンジニアシンポジウム(SES2023)},
  month = aug,
}

非機能要件とIaCテンプレートの対応関係に基づくアーキテクチャ設計支援システムの検討

松本渚紗

ソフトウェアエンジニアシンポジウム(SES2023), Aug 2023

AI, ML Quality, Reliability, Safety Testing, Verification

Bib HTML

@article{松本2023非機能要件とIaCテンプレートの対応関係に基づくアーキテクチャ設計支援システムの検討,
  author = {松本渚紗},
  year = {2023},
  title = {非機能要件とIaCテンプレートの対応関係に基づくアーキテクチャ設計支援システムの検討},
  journal = {ソフトウェアエンジニアシンポジウム(SES2023)},
  month = aug,
}

Visualization Tool for Extraction of Various Attributes and Corresponding Data for Dataset Quality Assessment

M. Sekine, D. Shimbara, T. Myojin, and 1 more author

The 5th IEEE International Conference on Artificial Intelligence Testing (IEEE AITest 2023), Jul 2023

AI, ML Quality, Reliability, Safety

Bib

@article{M.2023Visualization,
  author = {Sekine, M. and Shimbara, D. and Myojin, T. and Imatani, E.},
  year = {2023},
  title = {Visualization Tool for Extraction of Various Attributes and Corresponding Data for Dataset Quality Assessment},
  journal = {The 5th IEEE International Conference on Artificial Intelligence Testing (IEEE AITest 2023)},
  month = jul,
}

相関関係の効率的な解釈を支援するための遅延相関分析手法の拡張：プロジェクト管理への活用に向けた適用実験

市井誠, 堀口日向, 柏祐太郎, and 3 more authors

情報処理学会論文誌, vol.64, no.7, pp1139-1152, Jul 2023

Repository Mining Project Management

Bib HTML

@article{市井2023相関関係の効率的な解釈を支援するための遅延相関分析手法の拡張:プロジェクト管理への活用に向けた適用実験,
  author = {市井誠 and 堀口日向 and 柏祐太郎 and 川上真澄 and 伊原彰紀 and 大平雅雄},
  year = {2023},
  title = {相関関係の効率的な解釈を支援するための遅延相関分析手法の拡張：プロジェクト管理への活用に向けた適用実験},
  journal = {情報処理学会論文誌, vol.64, no.7, pp1139-1152},
  month = jul,
}

データセットの品質評価に向けた半教師あり表現学習による属性値の回帰予測手法

関根理敏, 新原敦介, 明神智之, and 1 more author

第37回人工知能学会全国大会, Jun 2023

AI, ML Quality, Reliability, Safety

Bib HTML

@article{関根2023データセットの品質評価に向けた半教師あり表現学習による属性値の回帰予測手法,
  author = {関根理敏 and 新原敦介 and 明神智之 and 今谷恵理},
  year = {2023},
  title = {データセットの品質評価に向けた半教師あり表現学習による属性値の回帰予測手法},
  journal = {第37回人工知能学会全国大会},
  month = jun,
}

Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM

M. Kawakami F. Ishikawa (NII)

The 21st IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2023), May 2023

AI, ML Quality, Reliability, Safety

Bib

@article{M.2023Domain,
  author = {Kawakami, M. and (NII), F. Ishikawa},
  year = {2023},
  title = {Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM},
  journal = {The 21st IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2023)},
  month = may,
}

土台からしっかり学ぶ ── ソフトウェアテストのセオリー

小川秀人, 佐藤陽春, 森拓郎, and 1 more author

リックテレコム, Apr 2023

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川秀人2023土台からしっかり学ぶソフトウェアテストのセオリー,
  author = {小川秀人 and 佐藤陽春 and 森拓郎 and 加賀洋渡},
  year = {2023},
  title = {土台からしっかり学ぶ ── ソフトウェアテストのセオリー},
  journal = {リックテレコム},
  month = apr,
}

AI搭載システム向け品質保証

新原敦介, 関根理敏, 小川秀人

第163回情報システムと社会環境研究発表会 (招待講演), Mar 2023

AI, ML Quality, Reliability, Safety

Bib

@article{新原2023AI,
  author = {新原敦介 and 関根理敏 and 小川秀人},
  year = {2023},
  title = {AI搭載システム向け品質保証},
  journal = {第163回情報システムと社会環境研究発表会 (招待講演)},
  month = mar,
}

Ordinal Regression Based on the Distributional Distance for Tabular Data

但馬慶行濱上知樹

電子情報通信学会/英字論文誌, Mar 2023

AI, ML Quality, Reliability, Safety

Bib HTML

@article{但馬2023Ordinal,
  author = {但馬慶行 and 濱上知樹},
  year = {2023},
  title = {Ordinal Regression Based on the Distributional Distance for Tabular Data},
  journal = {電子情報通信学会/英字論文誌},
  month = mar,
}

自動運転の高度化に向けたリスク予測技術について

堀田勇樹

組込みシステム産業振興機構オープンイノベーションセミナー, Feb 2023

autonomous driving Application

Bib

@article{堀田2023自動運転の高度化に向けたリスク予測技術について,
  author = {堀田勇樹},
  year = {2023},
  title = {自動運転の高度化に向けたリスク予測技術について},
  journal = {組込みシステム産業振興機構オープンイノベーションセミナー},
  month = feb,
}

視線と心拍を用いたプログラム理解状況の推定

曾我遼, 鹿糠秀行, 久保孝富, and 1 more author

コンピュータソフトウェア, 40 (1), p 1_24-1_44, Feb 2023

Evolution, Aalytics Human Factor

Bib HTML

@article{曾我2023視線と心拍を用いたプログラム理解状況の推定,
  author = {曾我遼 and 鹿糠秀行 and 久保孝富 and 石尾隆},
  year = {2023},
  title = {視線と心拍を用いたプログラム理解状況の推定},
  journal = {コンピュータソフトウェア, 40 (1), p 1_24-1_44},
  month = feb,
}

ロバスト性向上を目的とした予測モデルの不確実性に基づくデータセットの水増し手法利用

明神智之, 小川秀人, 來間啓伸, and 1 more author

情報処理学会論文誌,64(2),568-580 (2023-02-15) , 1882-7764, Feb 2023

AI, ML Testing, Verification

Bib HTML

@article{明神智之2023ロバスト性向上を目的とした予測モデルの不確実性に基づくデータセットの水増し手法利用,
  author = {明神智之 and 小川秀人 and 來間啓伸 and 佐藤直人},
  year = {2023},
  title = {ロバスト性向上を目的とした予測モデルの不確実性に基づくデータセットの水増し手法利用},
  journal = {情報処理学会論文誌,64(2),568-580 (2023-02-15) , 1882-7764},
  month = feb,
}

Analysis of Embedded Systems Functional Requirement using BERT-based Name Entity Recognition for Extracting IO Entities

Man Yiu Chow

Journal of Information Processing, Special Section on digital practices, 2023, Vol.31, pp143-153, Feb 2023

AI, ML Testing, Verification

Bib HTML

@article{Man2023Analysis,
  author = {Chow, Man Yiu},
  year = {2023},
  title = {Analysis of Embedded Systems Functional Requirement using BERT-based Name Entity Recognition for Extracting IO Entities},
  journal = {Journal of Information Processing, Special Section on digital practices, 2023, Vol.31, pp143-153},
}

格納期間評価による倉庫内の在庫移動方式

古家直樹, 末光一成, 薦田憲久(阪大), and 1 more author

日本経営工学会論文誌, Jan 2023

AI, ML Testing, Verification

Bib HTML

@article{古家直樹2023格納期間評価による倉庫内の在庫移動方式,
  author = {古家直樹 and 末光一成 and 薦田憲久(阪大) and 藤原融(阪大)},
  year = {2023},
  title = {格納期間評価による倉庫内の在庫移動方式},
  journal = {日本経営工学会論文誌},
  month = jan,
}

一般道自動運転に向けたリスク予測に基づく走行制御技術の開発

堀田勇樹, 稲葉龍, 英弘豊田

自動車技術会誌「自動車技術」, Vol.74, No.3, pp.100-101, Mar 2023

AI, ML Testing, Verification

Bib HTML

@article{堀田2023一般道自動運転に向けたリスク予測に基づく走行制御技術の開発,
  author = {堀田勇樹 and 稲葉龍 and 豊田, 英弘},
  year = {2023},
  title = {一般道自動運転に向けたリスク予測に基づく走行制御技術の開発},
  journal = {自動車技術会誌「自動車技術」, Vol.74, No.3, pp.100-101},
  month = mar,
}

2022

XGBoost法により学習させたAIモデルの振舞いの形式検証

來間啓伸, 明神智之, 佐藤直人, and 1 more author

情報処理学会論文誌, 63巻, 12号, pp 1830 - 1839, Dec 2022

AI, ML Formal Method

Bib HTML

@article{來間2022XGBoost,
  author = {來間啓伸 and 明神智之 and 佐藤直人 and 小川秀人},
  year = {2022},
  title = {XGBoost法により学習させたAIモデルの振舞いの形式検証},
  journal = {情報処理学会論文誌, 63巻, 12号, pp 1830 - 1839},
  month = dec,
}

関数型暗号を用いた秘匿配送マッチングのTEEによる実現

古家直樹, 矢内直人(大阪大学), 藤原融(大阪大学)

第99回情報処理学会コンピュータセキュリティ研究会(CSEC), Dec 2022

AI, ML Formal Method

Bib HTML

@article{古家2022関数型暗号を用いた秘匿配送マッチングのTEEによる実現,
  author = {古家直樹 and 矢内直人(大阪大学) and 藤原融(大阪大学)},
  year = {2022},
  title = {関数型暗号を用いた秘匿配送マッチングのTEEによる実現},
  journal = {第99回 情報処理学会 コンピュータセキュリティ研究会(CSEC)},
  month = dec,
}

ソフトウェア工学研究会研究報告を対象とした産学連携状況の初期調査

小川秀人

情報処理学会研究報告ソフトウェア工学（SE）, 2022-SE-212,6, Dec 2022

Bib HTML

@article{小川2022ソフトウェア工学研究会研究報告を対象とした産学連携状況の初期調査,
  author = {小川秀人},
  year = {2022},
  title = {ソフトウェア工学研究会研究報告を対象とした産学連携状況の初期調査},
  journal = {情報処理学会研究報告ソフトウェア工学（SE）, 2022-SE-212,6},
  month = dec,
}

多主体の満足度モデルを用いた貨客混載マッチングシステム

下村真帆, 古家直樹, 古屋聡一

電気学会システム/スマートファシリティ合同研究会, Nov 2022

AI, ML Formal Method

Bib HTML

@article{下村2022多主体の満足度モデルを用いた貨客混載マッチングシステム,
  author = {下村真帆 and 古家直樹 and 古屋聡一},
  year = {2022},
  title = {多主体の満足度モデルを用いた貨客混載マッチングシステム},
  journal = {電気学会システム/スマートファシリティ合同研究会},
  month = nov,
}

プログラム理解難易度の経時的な変化の可視化.

曾我遼, 鹿糠秀行(日立製作所), 久保孝富, and 2 more authors

第29回ソフトウェア工学の基礎ワークショップ(FOSE2022), Nov 2022

Evolution, Analytics Repository Mining

Bib

@article{曾我2022プログラム理解難易度の経時的な変化の可視化.,
  author = {曾我遼 and 鹿糠秀行(日立製作所) and 久保孝富 and 石尾隆 and 松本健一, (奈良先端科学技術大学院大学)},
  year = {2022},
  title = {プログラム理解難易度の経時的な変化の可視化.},
  journal = {第29回ソフトウェア工学の基礎ワークショップ(FOSE2022)},
  month = nov,
}

システムテストにおけるキーワード駆動テストの適用とキーワードの階層化設計

櫻井壮希, 塚本夏基, 内木大地

第29回ソフトウェア工学の基礎ワークショップ (FOSE2022), Nov 2022

Design, Implementation Testing, Verification

Bib

@article{櫻井2022システムテストにおけるキーワード駆動テストの適用とキーワードの階層化設計,
  author = {櫻井壮希 and 塚本夏基 and 内木大地},
  year = {2022},
  title = {システムテストにおけるキーワード駆動テストの適用とキーワードの階層化設計},
  journal = {第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)},
  month = nov,
}

自然言語解析を用いた開発プロジェクトリスク状況の定量化・可視化

巴統哉, 北川健二, 川上真澄

第29回ソフトウェア工学の基礎ワークショップ (FOSE2022), Nov 2022

Design, Implementation Testing, Verification

Bib

@article{巴2022自然言語解析を用いた開発プロジェクトリスク状況の定量化/可視化,
  author = {巴統哉 and 北川健二 and 川上真澄},
  year = {2022},
  title = {自然言語解析を用いた開発プロジェクトリスク状況の定量化・可視化},
  journal = {第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)},
  month = nov,
}

Maintainability Index を用いた保守性改善プロセス適用

加賀洋渡

第29回ソフトウェア工学の基礎ワークショップ (FOSE2022), Nov 2022

Evolution, Analytics Design, Implementation

Bib

@article{加賀2022Maintainability,
  author = {加賀洋渡},
  year = {2022},
  title = {Maintainability Index を用いた保守性改善プロセス適用},
  journal = {第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)},
  month = nov,
}

Risk assessment to design business process incorporating AI tasks

R. Soga, H. Kanuka, D. Fukui, and 1 more author

In Proceedings of 29th Asia-Pacific Software Engineering Conference (APSEC), pp. 582-583. IEEE, Nov 2022

AI, ML Software Process Improvement

Bib HTML

@article{Soga2022Risk,
  author = {Soga, R. and Kanuka, H. and Fukui, D. and Mase, M.},
  year = {2022},
  title = {Risk assessment to design business process incorporating AI tasks},
  journal = {In Proceedings of 29th Asia-Pacific Software Engineering Conference (APSEC), pp. 582-583. IEEE},
}

Advanced Access Control Mechanism for Mobility as a Service Platform

Anjali Rajith Soki Sakurai

SECUERARE2022, Nov 2022

AI, ML Software Process Improvement

Bib HTML

@article{Anjali2022Advanced,
  author = {Rajith, Anjali and Sakurai, Soki},
  year = {2022},
  title = {Advanced Access Control Mechanism for Mobility as a Service Platform},
  journal = {SECUERARE2022},
}

Data Usage Monitoring Method Using Metadata in Vehicle Data Distribution

Galav Punit, Syafril Bandara, Akimasa Okada, and 2 more authors

2022 IEEE 11th Global Conference on Consumer Electronics (GCCE), Nov 2022

AI, ML Software Process Improvement

Bib

@article{Galav2022Data,
  author = {Punit, Galav and Bandara, Syafril and Okada, Akimasa and Nagano, Takehiko and Teraoka, Hidetoshi},
  year = {2022},
  title = {Data Usage Monitoring Method Using Metadata in Vehicle Data Distribution},
  journal = {2022 IEEE 11th Global Conference on Consumer Electronics (GCCE)},
}

AI産官学のオープンな議論によるAIプロダクト品質保証ガイドライン策定の取り組み ―AIの適切な利活用による技術と社会の進展のために―

小川秀人

情報処理, Vol.63, No.11, pp.e13-e18, Oct 2022

Quality, Reliability, Safety AI, ML

Bib HTML

@article{小川2022AI,
  author = {小川秀人},
  year = {2022},
  title = {AI産官学のオープンな議論によるAIプロダクト品質保証ガイドライン策定の取り組み ―AIの適切な利活用による技術と社会の進展のために―},
  journal = {情報処理, Vol.63, No.11, pp.e13-e18},
  month = oct,
}

言語横断バグ箇所検索手法の日本語記述への適用可能性

林晋平, (東京工業大学) 小林隆志, 高井康勢, and 1 more author

ソフトウェアエンジニアリングシンポジウム2022, pp.131-136, Sep 2022

Quality, Reliability, Safety Testing, Verification Design, Implementation

Awarded Bib HTML

SES研究奨励賞

@article{林2022言語横断バグ箇所検索手法の日本語記述への適用可能性,
  author = {林晋平 and 小林隆志, (東京工業大学) and 高井康勢 and 加藤正恭},
  year = {2022},
  title = {言語横断バグ箇所検索手法の日本語記述への適用可能性},
  journal = {ソフトウェアエンジニアリングシンポジウム2022, pp.131-136},
  month = sep,
}

大規模データセットと多種ミュータント演算子を利用した自動修正適合性の再計測

前島葵, 肥後芳樹, 柗本真佑, and 2 more authors

ソフトウェアエンジニアリングシンポジウム2022, pp.61-70, Sep 2022

Quality, Reliability, Safety Testing, Verification Design, Implementation

Awarded Bib HTML

SES研究奨励賞

@article{前島2022大規模データセットと多種ミュータント演算子を利用した自動修正適合性の再計測,
  author = {前島葵 and 肥後芳樹 and 柗本真佑 and 楠本真二, (大阪大学) and 安田和矢},
  year = {2022},
  title = {大規模データセットと多種ミュータント演算子を利用した自動修正適合性の再計測},
  journal = {ソフトウェアエンジニアリングシンポジウム2022, pp.61-70},
  month = sep,
}

Analysis of Bug Report Qualities with fixing time using Causal and Inference Model

Sien Reeve Peralta, Hironori Washizaki, Yoshiaki Fukazawa (Waseda University), and 3 more authors

ソフトウェアエンジニアリングシンポジウム2022, Sep 2022

Quality, Reliability, Safety Repository Mining

Awarded Bib

SES企業・ポスター賞

@article{Sien2022Analysis,
  author = {Peralta, Sien Reeve and Washizaki, Hironori and University), Yoshiaki Fukazawa (Waseda and Noyori, Yuki and Kanuka, Hideyuki and Nojiri, Shuhei},
  year = {2022},
  title = {Analysis of Bug Report Qualities with fixing time using Causal and Inference Model},
  journal = {ソフトウェアエンジニアリングシンポジウム2022},
}

データセットの多種多様な属性情報抽出に向けた多面的クラスタリング変分オートエンコーダの手書き文字データへの適用

関根理敏, 新原敦介, 明神智之, and 1 more author

ソフトウェアエンジニアリングシンポジウム2022,pp.145-146, Sep 2022

AI, ML Testing, Verification

Bib HTML

@article{関根2022データセットの多種多様な属性情報抽出に向けた多面的クラスタリング変分オートエンコーダの手書き文字データへの適用,
  author = {関根理敏 and 新原敦介 and 明神智之 and 今谷恵理},
  year = {2022},
  title = {データセットの多種多様な属性情報抽出に向けた多面的クラスタリング変分オートエンコーダの手書き文字データへの適用},
  journal = {ソフトウェアエンジニアリングシンポジウム2022,pp.145-146},
  month = sep,
}

AIを含む業務プロセスのリスク評価手法

曾我遼, 鹿糠秀行, 福井大輔, and 1 more author

日本ソフトウェア科学会大会, Aug 2022

Software Process Improvement AI, ML

Bib

@article{曾我2022AI,
  author = {曾我遼 and 鹿糠秀行 and 福井大輔 and 間瀬正啓},
  year = {2022},
  title = {AIを含む業務プロセスのリスク評価手法},
  journal = {日本ソフトウェア科学会大会},
  month = aug,
}

ディープニューラルネットワークを用いた局所線形回帰

但馬慶行望月義則

2022年電気学会C部門大会, Aug 2022

Software Process Improvement AI, ML

Bib HTML

@article{但馬慶行2022ディープニューラルネットワークを用いた局所線形回帰,
  author = {但馬慶行 and 望月義則},
  year = {2022},
  title = {ディープニューラルネットワークを用いた局所線形回帰},
  journal = {2022年 電気学会C部門大会},
  month = aug,
}

組立順序生成システムの刷新によるクラウド上での並列分散処理の実現

伊藤蓮, 伊川宏美, 山形知行, and 1 more author

電気学会C部門システム研究会, Jun 2022

Software Process Improvement AI, ML

Bib HTML

@article{伊藤2022組立順序生成システムの刷新によるクラウド上での並列分散処理の実現,
  author = {伊藤蓮 and 伊川宏美 and 山形知行 and 菅原禎生},
  year = {2022},
  title = {組立順序生成システムの刷新によるクラウド上での並列分散処理の実現},
  journal = {電気学会C部門システム研究会},
  month = jun,
}

組込みシステム向け障害解析環境の効率改善

長野岳彦, 小口琢夫, 吉岡信和, and 2 more authors

情報処理学会論文誌コンシューマ・デバイス＆システム（CDS）,12(2),27-37, pp.2186-5728, May 2022

Testing, Verification Design, Implementation

Bib HTML

@article{長野2022組込みシステム向け障害解析環境の効率改善,
  author = {長野岳彦 and 小口琢夫 and 吉岡信和 and 田原康之 and 大須賀昭彦},
  year = {2022},
  title = {組込みシステム向け障害解析環境の効率改善},
  journal = {情報処理学会論文誌コンシューマ・デバイス＆システム（CDS）,12(2),27-37, pp.2186-5728},
  month = may,
}

AI／機械学習搭載システムの品質ガイドライン

小川秀人

日本ロボット学会誌, 2022年40 巻3 号 pp. 187-190, Apr 2022

Quality, Reliability, Safety AI, ML

Bib HTML

@article{小川秀人2022AI,
  author = {小川秀人},
  year = {2022},
  title = {AI／機械学習搭載システムの品質ガイドライン},
  journal = {日本ロボット学会誌, 2022年40 巻3 号 pp. 187-190},
  month = apr,
}

Automated Microservice Decomposition Method as Multi-Objective Optimization

Takahiro Kinoshita Hideyuki Kanuka

IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp.112-115, Mar 2022

Application Design, Implementation

Bib HTML

@article{Takahiro2022Automated,
  author = {Kinoshita, Takahiro and Kanuka, Hideyuki},
  year = {2022},
  title = {Automated Microservice Decomposition Method as Multi-Objective Optimization},
  journal = {IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp.112-115},
  month = mar,
}

移動障害物を考慮した軌道生成を可能とするリスクマップ

堀田勇樹, Gabriel Daniel, 稲葉龍, and 2 more authors

情報処理学会研究報告高度交通システムとスマートコミュニティ（ITS）,2022-ITS-88(9),1-8, pp2188-8965, Mar 2022

Application Design, Implementation

Awarded Bib HTML

第88回ITS研究会優秀発表

@article{堀田2022移動障害物を考慮した軌道生成を可能とするリスクマップ,
  author = {堀田勇樹 and Daniel, Gabriel and 稲葉龍 and 児島隆生 and 早瀬茂規},
  year = {2022},
  title = {移動障害物を考慮した軌道生成を可能とするリスクマップ},
  journal = {情報処理学会研究報告高度交通システムとスマートコミュニティ（ITS）,2022-ITS-88(9),1-8, pp2188-8965},
  month = mar,
}

ブロックチェーン利活用による下請配送業者への対価支払迅速化システムの開発

下村真帆, 古家直樹, 小坂忠義, and 1 more author

第33回CDS研究発表会, Jan 2022

Application Design, Implementation

Bib HTML

@article{下村2022ブロックチェーン利活用による下請配送業者への対価支払迅速化システムの開発,
  author = {下村真帆 and 古家直樹 and 小坂忠義 and 渡邊高志},
  year = {2022},
  title = {ブロックチェーン利活用による下請配送業者への対価支払迅速化システムの開発},
  journal = {第33回CDS研究発表会},
  month = jan,
}

社会システムへのトラストを再構築する

鍛忠司, 高橋健太, 小川秀人

協創の森ウェビナー第6回「社会システムのトラスト」, Jan 2022

AI, ML Quality, Reliability, Safety

Bib HTML

@article{鍛2022社会システムへのトラストを再構築する,
  author = {鍛忠司 and 高橋健太 and 小川秀人},
  year = {2022},
  title = {社会システムへのトラストを再構築する},
  journal = {協創の森ウェビナー第6回「社会システムのトラスト」},
  month = jan,
}

2021

デジタル技術が切り拓く新たなモビリティサービス

宮崎邦彦, 廣井和重, 小林悠一, and 3 more authors

日立評論　2021年 2021 vol.103 No.5, Nov 2021

AI, ML Quality, Reliability, Safety

Bib HTML

@article{宮崎2021デジタル技術が切り拓く新たなモビリティサービス,
  author = {宮崎邦彦 and 廣井和重 and 小林悠一 and Moffa, Giulio and Fernandez-Moral, Eduardo and Wisetjindawat, Wisinee},
  year = {2021},
  title = {デジタル技術が切り拓く新たなモビリティサービス},
  journal = {日立評論　2021年 2021 vol.103 No.5},
  month = nov,
}

AIソフトウェアのテスト答のない答え合わせ［4つの手法］

佐藤直人, 小川秀人, 來間啓伸, and 1 more author

リックテレコム, Jun 2021

Testing, Verification AI, ML

Bib HTML

@article{佐藤2021AI,
  author = {佐藤直人 and 小川秀人 and 來間啓伸 and 明神智之},
  year = {2021},
  title = {AIソフトウェアのテスト 答のない答え合わせ［4つの手法］},
  journal = {リックテレコム},
  month = jun,
}

Handling Quantity in Variability Models for System-of-Systems

D. Shimbara, M. Saeki, S. Hayashi, and 1 more author

In Proceedings of International Journal of Software Engineering and Knowledge Engineering, 31 (5), pp. 693-724, Jun 2021

Quality, Reliability, Safety Architecture Design, Implementation

Bib HTML

@article{Shimbara2021Handling,
  author = {Shimbara, D. and Saeki, M. and Hayashi, S. and Haugen, Ø.},
  year = {2021},
  title = {Handling Quantity in Variability Models for System-of-Systems},
  journal = {In Proceedings of International Journal of Software Engineering and Knowledge Engineering, 31 (5), pp. 693-724},
}

ゾーン分析に基づくテストケース優先度付け手法

左近健太

第28回ソフトウェア工学の基礎ワークショップ (FOSE2021), Nov 2021

Quality, Reliability, Safety Architecture Design, Implementation

Bib HTML

@article{左近2021ゾーン分析に基づくテストケース優先度付け手法,
  author = {左近健太},
  year = {2021},
  title = {ゾーン分析に基づくテストケース優先度付け手法},
  journal = {第28回ソフトウェア工学の基礎ワークショップ (FOSE2021)},
  month = nov,
}

因果ダイアグラムによる経営改善の施策立案支援手法の提案

堀旭宏川上真澄

第28回ソフトウェア工学の基礎ワークショップ (FOSE2021), Nov 2021

Repository Mining Project Management

Bib HTML

@article{堀2021因果ダイアグラムによる経営改善の施策立案支援手法の提案,
  author = {堀旭宏 and 川上真澄},
  year = {2021},
  title = {因果ダイアグラムによる経営改善の施策立案支援手法の提案},
  journal = {第28回ソフトウェア工学の基礎ワークショップ (FOSE2021)},
  month = nov,
}

視線と心拍を用いた主観的なプログラム理解難易度の推定

曾我遼, 横山由貴, 鹿糠秀行(日立製作所), and 2 more authors

第28回ソフトウェア工学の基礎ワークショップ(FOSE2021), Nov 2021

Repository Mining Project Management

Bib HTML

@article{曾我2021視線と心拍を用いた主観的なプログラム理解難易度の推定,
  author = {曾我遼 and 横山由貴 and 鹿糠秀行(日立製作所) and 久保孝富 and 石尾隆, (奈良先端科学技術大学院大学)},
  year = {2021},
  title = {視線と心拍を用いた主観的なプログラム理解難易度の推定},
  journal = {第28回ソフトウェア工学の基礎ワークショップ(FOSE2021)},
  month = nov,
}

マイクロサービスアーキテクチャのVR可視化

堀旭宏, 崇央木下, 鹿糠秀行, and 1 more author

第28回ソフトウェア工学の基礎ワークショップ (FOSE2021), Nov 2021

Architecture Evolution, Analytics

Bib

@article{堀2021マイクロサービスアーキテクチャのVR可視化,
  author = {堀旭宏 and 木下, 崇央 and 鹿糠秀行 and 川上真澄},
  year = {2021},
  title = {マイクロサービスアーキテクチャのVR可視化},
  journal = {第28回ソフトウェア工学の基礎ワークショップ (FOSE2021)},
  month = nov,
}

Ordinal Regression Based on the Distributional Distance Between Labels

但馬慶行濱上知樹

2021 IEEE/SMC, Oct 2021

Architecture Evolution, Analytics

Bib HTML

@article{但馬2021Ordinal,
  author = {但馬慶行 and 濱上知樹},
  year = {2021},
  title = {Ordinal Regression Based on the Distributional Distance Between Labels},
  journal = {2021 IEEE/SMC},
  month = oct,
}

分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム

古家直樹, 長谷川学, 小坂忠義, and 1 more author

電気学会論文誌C, Vol.141, No.10, pp.1101-1114, Oct 2021

Architecture Evolution, Analytics

Bib HTML

@article{古家2021分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム,
  author = {古家直樹 and 長谷川学 and 小坂忠義 and 薦田憲久},
  year = {2021},
  title = {分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム},
  journal = {電気学会論文誌C, Vol.141, No.10, pp.1101-1114},
  month = oct,
}

テストケース自動生成の失敗予測

曾我遼鹿糠秀行

電子情報通信学会信学技報, 121(204), SS2021-14, pp. 7-12, Oct 2021

Testing, Verification Code Generation

Awarded Bib HTML

DC研究会第9回若手優秀講演賞

@article{曾我2021テストケース自動生成の失敗予測,
  author = {曾我遼 and 鹿糠秀行},
  year = {2021},
  title = {テストケース自動生成の失敗予測},
  journal = {電子情報通信学会信学技報, 121(204), SS2021-14, pp. 7-12},
  month = oct,
}

Generating Program Identifier Dictionary for Maintaining Legacy Systems

R. Soga, G. Koreki, H. Kanuka, and 2 more authors

In Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT 2021), pp. 3-12. IOS Press, Sep 2021

Testing, Verification Code Generation

Bib HTML

@article{Soga2021Generating,
  author = {Soga, R. and Koreki, G. and Kanuka, H. and Ioku, A. and Maeoka, J.},
  year = {2021},
  title = {Generating Program Identifier Dictionary for Maintaining Legacy Systems},
  journal = {In Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT 2021), pp. 3-12. IOS Press},
  month = sep,
}

自動修正適合性：新しいソフトウェア品質指標とその計測

九間哲士, 肥後芳樹, 柗本真佑, and 2 more authors

ソフトウェアエンジニアリングシンポジウム2021, Sep 2021

Testing, Verification Code Generation Quality, Reliability, Safety

Awarded Bib HTML

SES研究奨励賞

@article{九間2021自動修正適合性:新しいソフトウェア品質指標とその計測,
  author = {九間哲士 and 肥後芳樹 and 柗本真佑 and 楠本真二 and 安田和矢},
  year = {2021},
  title = {自動修正適合性：新しいソフトウェア品質指標とその計測},
  journal = {ソフトウェアエンジニアリングシンポジウム2021},
  month = sep,
}

XGBoost法により学習させたAIモデルのふるまいの形式検証

來間啓伸, 小川秀人, 佐藤直人, and 1 more author

ソフトウェアエンジニアリングシンポジウム2021, Sep 2021

AI, ML Formal Method

Bib HTML

@article{來間2021XGBoost,
  author = {來間啓伸 and 小川秀人 and 佐藤直人 and 明神智之},
  year = {2021},
  title = {XGBoost法により学習させたAIモデルのふるまいの形式検証},
  journal = {ソフトウェアエンジニアリングシンポジウム2021},
  month = sep,
}

組込みソフトウェア製品開発のプロジェクト管理に対する遅延相関分析の適用に向けて

市井誠, 堀口日向, 柏祐太郎, and 3 more authors

ソフトウェアエンジニアリングシンポジウム2021, Sep 2021

Repository Mining Project Management

Bib HTML

@article{市井2021組込みソフトウェア製品開発のプロジェクト管理に対する遅延相関分析の適用に向けて,
  author = {市井誠 and 堀口日向 and 柏祐太郎 and 川上真澄 and 伊原彰紀 and 大平雅雄},
  year = {2021},
  title = {組込みソフトウェア製品開発のプロジェクト管理に対する遅延相関分析の適用に向けて},
  journal = {ソフトウェアエンジニアリングシンポジウム2021},
  month = sep,
}

ラベルの分布間距離に基づく誤り方を考慮した識別モデル

但馬慶行濱上知樹

電気学会論文誌, Sep 2021

Repository Mining Project Management

Bib HTML

@article{但馬2021ラベルの分布間距離に基づく誤り方を考慮した識別モデル,
  author = {但馬慶行 and 濱上知樹},
  year = {2021},
  title = {ラベルの分布間距離に基づく誤り方を考慮した識別モデル},
  journal = {電気学会論文誌},
  month = sep,
}

組込みシステム向け障害解析環境の効率改善

長野岳彦, 小口琢夫, 吉岡信和, and 2 more authors

情報処理学会研究報告コンシューマ・デバイス＆システム（CDS）,2021-CDS-32(5),1-8, pp2188-8604, Aug 2021

Testing, Verification Design, Implementation

Awarded Bib HTML

第32回CDS研究会優秀発表賞; 2022年度山下記念研究賞

@article{長野2021組込みシステム向け障害解析環境の効率改善,
  author = {長野岳彦 and 小口琢夫 and 吉岡信和 and 田原康之 and 大須賀昭彦},
  year = {2021},
  title = {組込みシステム向け障害解析環境の効率改善},
  journal = {情報処理学会研究報告コンシューマ・デバイス＆システム（CDS）,2021-CDS-32(5),1-8, pp2188-8604},
  month = aug,
}

GTFSデータを用いた路線バスの遅延状況推定

但馬慶行高橋由泰

FIT2021, Aug 2021

Testing, Verification Design, Implementation

Bib HTML

@article{但馬慶行2021GTFS,
  author = {但馬慶行 and 高橋由泰},
  year = {2021},
  title = {GTFSデータを用いた路線バスの遅延状況推定},
  journal = {FIT2021},
  month = aug,
}

デジタル経済圏の胎動：欧州のデータ連携戦略

ロボット革命・産業IoTイニシアティブ協議会

※伊川宏美, 佐藤茜, 山田仁志夫が編集委員として参画, Jul 2021

Bib HTML

@article{ロボット革命/産業IoTイニシアティブ協議会2021デジタル経済圏の胎動:欧州のデータ連携戦略,
  author = {ロボット革命・産業IoTイニシアティブ協議会},
  year = {2021},
  title = {デジタル経済圏の胎動：欧州のデータ連携戦略},
  journal = {※伊川宏美, 佐藤茜, 山田仁志夫が編集委員として参画},
  month = jul,
}

Improvement of Area Priority Setting of Sequential Processing Storage Location Recommendation Technology Considering Stock Storage Period

N. Furuya, N. Komoda, T. Fujiwara

in Conference Abstracts of International Conference on Production Research, p.1, Jul 2021

Testing, Verification Design, Implementation

Bib

@article{Furuya2021Improvement,
  author = {Furuya, N. and Komoda, N. and Fujiwara, T.},
  year = {2021},
  title = {Improvement of Area Priority Setting of Sequential Processing Storage Location Recommendation Technology Considering Stock Storage Period},
  journal = {in Conference Abstracts of International Conference on Production Research, p.1},
  month = jul,
}

組込みシステムへの派生MBD適用に向けたパラメータ設定方式の検討

秋下耀介, 大島浩資, 若林昇, and 1 more author

ソフトウェア・シンポジウム2021, Jun 2021

Evolution, Analytics Design, Implementation

Bib HTML

@article{秋下2021組込みシステムへの派生MBD適用に向けたパラメータ設定方式の検討,
  author = {秋下耀介 and 大島浩資 and 若林昇 and 川上真澄},
  year = {2021},
  title = {組込みシステムへの派生MBD適用に向けたパラメータ設定方式の検討},
  journal = {ソフトウェア・シンポジウム2021},
  month = jun,
}

FLASX: A Fault Localization Assistant System Using KLEE Symbolic Execution for Embedded Software

T. T. H. Phan, Y. Suzuki, N. Sato, and 1 more author

In Proceedings of the 2nd International KLEE Workshop on Symbolic Execution, Jul 2021

Testing, Verification Formal Method

Bib

@article{Phan2021FLASX,
  author = {Phan, T. T. H. and Suzuki, Y. and Sato, N. and Kawakami, M.},
  year = {2021},
  title = {FLASX: A Fault Localization Assistant System Using KLEE Symbolic Execution for Embedded Software},
  journal = {In Proceedings of the 2nd International KLEE Workshop on Symbolic Execution},
  month = jul,
}

Heterogeneous Sensor Fusion with GMPHD for Environmentally Adaptable Obstacle Detection in Mobility Systems

Chow Man Yiu Mitsuhiro Kitani

Journal of Information Processing, 2021, Volume 29, Pages 449-464, Jun 2021

Testing, Verification Formal Method

Bib HTML

@article{Chow2021Heterogeneous,
  author = {Yiu, Chow Man and Mitsuhiro Kitani},
  year = {2021},
  title = {Heterogeneous Sensor Fusion with GMPHD for Environmentally Adaptable Obstacle Detection in Mobility Systems},
  journal = {Journal of Information Processing, 2021, Volume 29, Pages 449-464},
  month = jun,
}

複数車種の運行設計領域を管理する管制センタアーキテクチャの検討

近藤明宏松本貴士

情報処理学会研究報告情報基礎とアクセス技術（IFAT）,2021-IFAT-142(11),1-8, pp.2188-8884, Mar 2021

Testing, Verification Formal Method

Bib HTML

@article{近藤2021複数車種の運行設計領域を管理する管制センタアーキテクチャの検討,
  author = {近藤明宏 and 松本貴士},
  year = {2021},
  title = {複数車種の運行設計領域を管理する管制センタアーキテクチャの検討},
  journal = {情報処理学会研究報告情報基礎とアクセス技術（IFAT）,2021-IFAT-142(11),1-8, pp.2188-8884},
  month = mar,
}

ニューノーマル時代の製造流通業を支えるバリューチェーンコーディネーションサービス

小倉孝裕, 木内敦規, 齊藤元伸, and 1 more author

日立評論, 103 (2), pp. 58-62, Mar 2021

Testing, Verification Formal Method

Bib HTML

@article{小倉2021ニューノーマル時代の製造流通業を支えるバリューチェーンコーディネーションサービス,
  author = {小倉孝裕 and 木内敦規 and 齊藤元伸 and Chetan, Gupta},
  year = {2021},
  title = {ニューノーマル時代の製造流通業を支えるバリューチェーンコーディネーションサービス},
  journal = {日立評論, 103 (2), pp. 58-62},
  month = mar,
}

最大安全半径の監視によるコンセプトドリフト検知可能性の評価

佐藤直人, 來間啓伸, 小川秀人

電子情報通信学会信学技報, 120 (407), SS2020-35, pp.43-48, Mar 2021

AI, ML Testing, Verification

Bib HTML

@article{佐藤2021最大安全半径の監視によるコンセプトドリフト検知可能性の評価,
  author = {佐藤直人 and 來間啓伸 and 小川秀人},
  year = {2021},
  title = {最大安全半径の監視によるコンセプトドリフト検知可能性の評価},
  journal = {電子情報通信学会信学技報, 120 (407), SS2020-35, pp.43-48},
  month = mar,
}

2020

組立・加工現場向け生産性・品質向上ソリューション製造現場の4Mデータ分析を活用した顧客課題の解決

後藤知明, 嶋田匡, 沖津潤, and 2 more authors

日立評論　2020 vol.102 No.6, Dec 2020

AI, ML Testing, Verification

Bib HTML

@article{後藤知明2020組立/加工現場向け生産性/品質向上ソリューション製造現場の4Mデータ分析を活用した顧客課題の解決,
  author = {後藤知明 and 嶋田匡 and 沖津潤 and 堤大輔 and 足立哲朗},
  year = {2020},
  title = {組立・加工現場向け生産性・品質向上ソリューション製造現場の4Mデータ分析を活用した顧客課題の解決},
  journal = {日立評論　2020 vol.102 No.6},
  month = dec,
}

Society 5.0時代の価値協創型DXの実現に向けて～Lumadaへの取り組み～

貴成馬場, 長岡靖子, 小川秀人

情報処理, 61 (1), pp.57-61, Dec 2020

Bib HTML

@article{馬場2020Society,
  author = {馬場, 貴成 and 長岡靖子 and 小川秀人},
  year = {2020},
  title = {Society 5.0時代の価値協創型DXの実現に向けて ～Lumadaへの取り組み～},
  journal = {情報処理, 61 (1), pp.57-61},
}

AIビジネスにおける品質保証

小川秀人

AIビジネス戦略：効果的な知財戦略・新規事業の立て方・実用化への筋道, 第4章第3節, 情報機構, Dec 2020

AI, ML Quality, Reliability, Safety

Bib HTML

@article{小川2020AI,
  author = {小川秀人},
  year = {2020},
  title = {AIビジネスにおける品質保証},
  journal = {AIビジネス戦略：効果的な知財戦略・新規事業の立て方・実用化への筋道, 第4章第3節, 情報機構},
}

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges

N. Sato, H. Kuruma, Y. Nakagawa, and 1 more author

IEICE TRANSACTIONS on Information and Systems, 103 (2), pp. 363-378, Dec 2020

AI, ML Formal Method

Bib HTML

@article{Sato2020Formal,
  author = {Sato, N. and Kuruma, H. and Nakagawa, Y. and Ogawa, H.},
  year = {2020},
  title = {Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges},
  journal = {IEICE TRANSACTIONS on Information and Systems, 103 (2), pp. 363-378},
}

Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence

G. Fujii, K. Hamada, F. Ishikawa, and 9 more authors

International Journal of Software Engineering and Knowledge Engineering, 30 (11n12), pp. 1589-1606, Dec 2020

Quality, Reliability, Safety AI, ML

Bib HTML

@article{Fujii2020Guidelines,
  author = {Fujii, G. and Hamada, K. and Ishikawa, F. and Masuda, S. and Matsuya, M. and Myojin, T. and Nishi, Y. and Ogawa, H. and Toku, T. and Tokumoto, S. and Tsuchiya, K. and Ujita, Y.},
  year = {2020},
  title = {Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence},
  journal = {International Journal of Software Engineering and Knowledge Engineering, 30 (11n12), pp. 1589-1606},
}

A Program Simplification Method for Generating Test Input Values Using Symbolic Execution

R. Soga, T. Yonemitsu, M. Inagaki, and 3 more authors

In Proceedings of the 27th Asia-Pacific Software Engineering Conference (APSEC), pp. 507-508. IEEE, Dec 2020

Design, Implementation Testing, Verification

Bib HTML

@article{Soga2020A,
  author = {Soga, R. and Yonemitsu, T. and Inagaki, M. and Fujisaki, Y. and Sugo, H. and Kanuka, H.},
  year = {2020},
  title = {A Program Simplification Method for Generating Test Input Values Using Symbolic Execution},
  journal = {In Proceedings of the 27th Asia-Pacific Software Engineering Conference (APSEC), pp. 507-508. IEEE},
  month = dec,
}

システムの特徴を踏まえた素材コード片の生成による自動プログラム修正手法

安田和矢, 伊藤信治, 中村知倫, and 2 more authors

第27回ソフトウェア工学の基礎ワークショップ(FOSE2020), Nov 2020

Testing, Verification Code Generation

Awarded Bib

FOSE貢献賞(フルペーパー部門); IEEE Computer Society Japan Chapter FOSE Young Researcher Award

@article{安田2020システムの特徴を踏まえた素材コード片の生成による自動プログラム修正手法,
  author = {安田和矢 and 伊藤信治 and 中村知倫 and 原田真雄 and 肥後芳樹},
  year = {2020},
  title = {システムの特徴を踏まえた素材コード片の生成による自動プログラム修正手法},
  journal = {第27回ソフトウェア工学の基礎ワークショップ(FOSE2020)},
  month = nov,
}

プログラム理解を行単位で測るための生体計測系の構築

曾我遼, (横山)由貴小磯, 前岡淳, and 1 more author

第27回ソフトウェア工学の基礎ワークショップ(FOSE2020), Nov 2020

Testing, Verification Code Generation

Awarded Bib

FOSEライブ論文ポスター賞

@article{曾我2020プログラム理解を行単位で測るための生体計測系の構築,
  author = {曾我遼 and 小磯, (横山)由貴 and 前岡淳 and 鹿糠秀行},
  year = {2020},
  title = {プログラム理解を行単位で測るための生体計測系の構築},
  journal = {第27回ソフトウェア工学の基礎ワークショップ(FOSE2020)},
  month = nov,
}

GUIソフトウェア開発における性能向けCI環境CARPの開発

楊夢龍, 小山恭平, 新原敦介

第27回ソフトウェア工学の基礎ワークショップ (FOSE2020), Nov 2020

Testing, Verification Code Generation

Bib

@article{楊2020GUI,
  author = {楊夢龍 and 小山恭平 and 新原敦介},
  year = {2020},
  title = {GUIソフトウェア開発における性能向けCI環境CARPの開発},
  journal = {第27回ソフトウェア工学の基礎ワークショップ (FOSE2020)},
  month = nov,
}

開発プロジェクトQCD予測のための工数メトリクス取得手法の提案

堀旭宏川上真澄

第27回ソフトウェア工学の基礎ワークショップ (FOSE2020), Nov 2020

Repository Mining Project Management

Bib

@article{堀2020開発プロジェクトQCD予測のための工数メトリクス取得手法の提案,
  author = {堀旭宏 and 川上真澄},
  year = {2020},
  title = {開発プロジェクトQCD予測のための工数メトリクス取得手法の提案},
  journal = {第27回ソフトウェア工学の基礎ワークショップ (FOSE2020)},
  month = nov,
}

ソフトウェア開発プロジェクトの完了日予測のためのチケット自動修正方法

堀旭宏, 市井誠, 川上真澄

コンピュータソフトウェア, 37 (4), pp. 4_10-4_16, Oct 2020

Repository Mining Project Management

Bib HTML

@article{堀2020ソフトウェア開発プロジェクトの完了日予測のためのチケット自動修正方法,
  author = {堀旭宏 and 市井誠 and 川上真澄},
  year = {2020},
  title = {ソフトウェア開発プロジェクトの完了日予測のためのチケット自動修正方法},
  journal = {コンピュータソフトウェア, 37 (4), pp. 4_10-4_16},
  month = oct,
}

拡張現実技術を用いた物流ピッキング作業支援システムの開発とHMD表示画角の影響の分析

松本紀子, 小坂忠義, 中島洋平, and 2 more authors

情報処理学会論文誌コンシューマ・デバイス&システム, Vol.190, No.3, pp.11-23, Oct 2020

Repository Mining Project Management

Bib HTML

@article{松本紀子2020拡張現実技術を用いた物流ピッキング作業支援システムの開発とHMD表示画角の影響の分析,
  author = {松本紀子 and 小坂忠義 and 中島洋平 and 櫻田崇治 and 田野, 俊一},
  year = {2020},
  title = {拡張現実技術を用いた物流ピッキング作業支援システムの開発とHMD表示画角の影響の分析},
  journal = {情報処理学会論文誌コンシューマ・デバイス&システム, Vol.190, No.3, pp.11-23},
  month = oct,
}

分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム

古家直樹, 長谷川学, 小坂忠義, and 1 more author

電気学会情報システム研究会予稿集, pp.85-90, 2020, Oct 2020

Repository Mining Project Management

Bib HTML

@article{古家2020分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム,
  author = {古家直樹 and 長谷川学 and 小坂忠義 and 薦田憲久},
  year = {2020},
  title = {分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム},
  journal = {電気学会情報システム研究会予稿集, pp.85-90, 2020},
  month = oct,
}

データ秘匿性を考慮した物流トレーサビリティデータ検索技術の開発

長谷川学, 古家直樹, 小坂忠義

電気学会情報システム研究会予稿集, pp.97-101, Oct 2020

Repository Mining Project Management

Bib HTML

@article{長谷川2020データ秘匿性を考慮した物流トレーサビリティデータ検索技術の開発,
  author = {長谷川学 and 古家直樹 and 小坂忠義},
  year = {2020},
  title = {データ秘匿性を考慮した物流トレーサビリティデータ検索技術の開発},
  journal = {電気学会情報システム研究会予稿集, pp.97-101},
  month = oct,
}

組込みシステムへのプロダクトライン型開発導入容易化に向けた可変性モデリング手法「機器-パッケージモデル」の提案

大島浩資, 秋下耀介, 若林昇, and 1 more author

ソフトウェアエンジニアリングシンポジウム2020, Sep 2020

Design, Implementation Modeling

Bib HTML

@article{大島2020組込みシステムへのプロダクトライン型開発導入容易化に向けた可変性モデリング手法の提案,
  author = {大島浩資 and 秋下耀介 and 若林昇 and 川上真澄},
  year = {2020},
  title = {組込みシステムへのプロダクトライン型開発導入容易化に向けた可変性モデリング手法「機器-パッケージモデル」の提案},
  journal = {ソフトウェアエンジニアリングシンポジウム2020},
  month = sep,
}

Unsupposable Test-data generation for Machine-learned Software

N. Sato, H. Kuruma, H. Ogawa

ソフトウェアエンジニアリングシンポジウム2020, Sep 2020

Testing, Verification AI, ML

Bib HTML

@article{Sato2020Unsupposable,
  author = {Sato, N. and Kuruma, H. and Ogawa, H.},
  year = {2020},
  title = {Unsupposable Test-data generation for Machine-learned Software},
  journal = {ソフトウェアエンジニアリングシンポジウム2020},
  month = sep,
}

段階的なシステム刷新を狙いとしたシステム構造の再形成方式

伊川宏美, 山﨑晃, 本村憲一朗, and 2 more authors

電気学会第82回情報システム研究会, Jun 2020

Testing, Verification AI, ML

Bib HTML

@article{伊川宏美2020段階的なシステム刷新を狙いとしたシステム構造の再形成方式,
  author = {伊川宏美 and 山﨑晃 and 本村憲一朗 and 志村昭俊 and 小泉稔},
  year = {2020},
  title = {段階的なシステム刷新を狙いとしたシステム構造の再形成方式},
  journal = {電気学会 第82回情報システム研究会},
  month = jun,
}

リポジトリマイニングに基づくアンチパターン検出手法

市井誠川上真澄

情報処理学会論文誌, 61 (4), pp. 908-917, Apr 2020

Repository Mining Design, Implementation

Bib HTML

@article{市井2020リポジトリマイニングに基づくアンチパターン検出手法,
  author = {市井誠 and 川上真澄},
  year = {2020},
  title = {リポジトリマイニングに基づくアンチパターン検出手法},
  journal = {情報処理学会論文誌, 61 (4), pp. 908-917},
  month = apr,
}

一般道自動運転に向けたリスク予測に基づく走行制御技術の開発

堀田勇樹, 稲葉龍, 英弘豊田

自動車技術会誌「自動車技術」, Vol.74, No.3, pp.100-101, Mar 2020

Repository Mining Design, Implementation

Bib HTML

@article{堀田2020一般道自動運転に向けたリスク予測に基づく走行制御技術の開発,
  author = {堀田勇樹 and 稲葉龍 and 豊田, 英弘},
  year = {2020},
  title = {一般道自動運転に向けたリスク予測に基づく走行制御技術の開発},
  journal = {自動車技術会誌「自動車技術」, Vol.74, No.3, pp.100-101},
  month = mar,
}

物流ARピッキングシステムにおけるHMD表示画角の影響の分析

松本紀子, 大塚康平, 田野俊一

電子情報通信学会, 信学技報, Vol.119, No.457, MVE2019-82, pp.235-240, Mar 2020

Repository Mining Design, Implementation

Bib HTML

@article{松本紀子2020物流ARピッキングシステムにおけるHMD表示画角の影響の分析,
  author = {松本紀子 and 大塚康平 and 田野俊一},
  year = {2020},
  title = {物流ARピッキングシステムにおけるHMD表示画角の影響の分析},
  journal = {電子情報通信学会, 信学技報, Vol.119, No.457, MVE2019-82, pp.235-240},
  month = mar,
}

演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト

來間啓伸, 小川秀人, 雄一郎中川, and 1 more author

情報処理学会論文誌, 61 (2), pp. 407-416, Feb 2020

Formal Method AI, ML Testing, Verification

Bib HTML

@article{來間2020演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト,
  author = {來間啓伸 and 小川秀人 and 中川, 雄一郎 and 佐藤直人},
  year = {2020},
  title = {演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト},
  journal = {情報処理学会論文誌, 61 (2), pp. 407-416},
  month = feb,
}

もっと奥へ、深く進んで視る！ソフトウェア構造をVRで可視化

川上真澄堀旭宏

日立Webページ, Feb 2020

Evolution, Analytics Design, Implementation

Bib HTML

@article{川上真澄2020もっと奥へ深く進んで視る!ソフトウェア構造をVRで可視化,
  author = {川上真澄 and 堀旭宏},
  year = {2020},
  title = {もっと奥へ、深く進んで視る！ソフトウェア構造をVRで可視化},
  journal = {日立Webページ},
}

2019

Recovering Transitive Traceability Links among Various Software Artifacts for Developers

R. Tsuchiya, K. Nishikawa, H. Washizaki, and 4 more authors

IEICE TRANSACTIONS on Information and Systems, 102 (9), pp. 1750-1760, Feb 2019

Evolution, Analytics Design, Implementation Repository Mining

Bib HTML

@article{Tsuchiya2019Recovering,
  author = {Tsuchiya, R. and Nishikawa, K. and Washizaki, H. and Fukazawa, Y. and Shinohara, Y. and Oshima, K. and Mibe, R.},
  year = {2019},
  title = {Recovering Transitive Traceability Links among Various Software Artifacts for Developers},
  journal = {IEICE TRANSACTIONS on Information and Systems, 102 (9), pp. 1750-1760},
}

Inferring Faults in Business Specifications Extracted from Source Code

K. Yasuda, S. Itoh, R. Mibe, and 2 more authors

In Proceedings of the 26th Asia-Pacific Software Engineering Conference (APSEC), pp. 236-243. IEEE, Dec 2019

Evolution, Analytics Requirement

Bib HTML

@article{Yasuda2019Inferring,
  author = {Yasuda, K. and Itoh, S. and Mibe, R. and Jodai, Y. and Nakaya, F.},
  year = {2019},
  title = {Inferring Faults in Business Specifications Extracted from Source Code},
  journal = {In Proceedings of the 26th Asia-Pacific Software Engineering Conference (APSEC), pp. 236-243. IEEE},
  month = dec,
}

ソフトウェア開発プロジェクトの完了時期予測のためのチケット自動修正方法

堀旭宏, 市井誠, 川上真澄

第26回ソフトウェア工学の基礎ワークショップ (FOSE2019), Dec 2019

Repository Mining Project Management

Awarded Bib

FOSE貢献賞(フルペーパー部門)

@article{堀2019ソフトウェア開発プロジェクトの完了時期予測のためのチケット自動修正方法,
  author = {堀旭宏 and 市井誠 and 川上真澄},
  year = {2019},
  title = {ソフトウェア開発プロジェクトの完了時期予測のためのチケット自動修正方法},
  journal = {第26回ソフトウェア工学の基礎ワークショップ (FOSE2019)},
  month = dec,
}

識別子の表記ゆれによるソースコード検索漏れ防止に向けた設計書を活用した識別子−自然言語変換技術.

曾我遼, 是木玄太, 井奥章, and 1 more author

第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), Nov 2019

Evolution, Analytics Design, Implementation

Bib

@article{曾我2019識別子の表記ゆれによるソースコード検索漏れ防止に向けた設計書を活用した識別子/自然言語変換技術.,
  author = {曾我遼 and 是木玄太 and 井奥章 and 前岡淳},
  year = {2019},
  title = {識別子の表記ゆれによるソースコード検索漏れ防止に向けた設計書を活用した識別子−自然言語変換技術.},
  journal = {第26回ソフトウェア工学の基礎ワークショップ(FOSE2019)},
  month = nov,
}

Picking Work using AR Instructions in Warehouses

T. Matsumoto, T. Kosaka, T. Sakurada, and 2 more authors

IEEE 8th Global Conference on Consumer Electronics (GCCE), pp31-34, Oct 2019

Evolution, Analytics Design, Implementation

Bib HTML

@article{Matsumoto2019Picking,
  author = {Matsumoto, T. and Kosaka, T. and Sakurada, T. and Nakajima, Y. and Tano, S.},
  year = {2019},
  title = {Picking Work using AR Instructions in Warehouses},
  journal = {IEEE 8th Global Conference on Consumer Electronics (GCCE), pp31-34},
  month = oct,
}

大規模で複雑なソフトウェアの構造をVR空間で可視化する技術を開発

川上真澄堀旭宏

日立Webページ, Oct 2019

Evolution, Analytics Repository Mining Design, Implementation

Bib HTML

@article{川上真澄2019大規模で複雑なソフトウェアの構造をVR空間で可視化する技術を開発,
  author = {川上真澄 and 堀旭宏},
  year = {2019},
  title = {大規模で複雑なソフトウェアの構造をVR空間で可視化する技術を開発},
  journal = {日立Webページ},
  month = oct,
}

CodeHouse: VR Code Visualization Tool

A. Hori, M. Kawakami, M. Ichii

In Proceedings of 2019 Working Conference on Software Visualization (VISSOFT), pp. 83-87. IEEE, Sep 2019

Evolution, Analytics Repository Mining Design, Implementation

Bib HTML

@article{Hori2019CodeHouse,
  author = {Hori, A. and Kawakami, M. and Ichii, M.},
  year = {2019},
  title = {CodeHouse: VR Code Visualization Tool},
  journal = {In Proceedings of 2019 Working Conference on Software Visualization (VISSOFT), pp. 83-87. IEEE},
  month = sep,
}

Design of Presentation Method and Effects of Warehouse Visualization Tool Using AR

T. Matsumoto, T. Kosaka, K. Ara, and 3 more authors

SICE Annual Conference 2019 (SICE 2019), pp1-4,2019, Sep 2019

Evolution, Analytics Repository Mining Design, Implementation

Bib

@article{Matsumoto2019Design,
  author = {Matsumoto, T. and Kosaka, T. and Ara, K. and Suemitsu, I. and Horita, T. and Tano, S.},
  year = {2019},
  title = {Design of Presentation Method and Effects of Warehouse Visualization Tool Using AR},
  journal = {SICE Annual Conference 2019 (SICE 2019), pp1-4,2019},
  month = sep,
}

在庫格納期間を加味した逐次処理型の倉庫内格納先推奨技術の開発

古家直樹, 永原聡士, 末光一成, and 3 more authors

日本経営工学会論文誌, Vol.70, No.2, pp.82-93, Jul 2019

Evolution, Analytics Repository Mining Design, Implementation

Awarded Bib HTML

日本経営工学会2019論文賞

@article{古家2019在庫格納期間を加味した逐次処理型の倉庫内格納先推奨技術の開発,
  author = {古家直樹 and 永原聡士 and 末光一成 and 植木隆雄 and 荒宏視 and 嶋津泰毅},
  year = {2019},
  title = {在庫格納期間を加味した逐次処理型の倉庫内格納先推奨技術の開発},
  journal = {日本経営工学会論文誌, Vol.70, No.2, pp.82-93},
  month = jul,
}

物流における拡張現実技術を用いたピッキング作業支援システムの開発

松本紀子, 小坂忠義, 中島洋平, and 3 more authors

情報処理学会研究報告コンシューマ・デバイス&システム(CDS), 2019-CDS-25,Vol.10, pp.1-8, May 2019

Evolution, Analytics Repository Mining Design, Implementation

Bib HTML

@article{松本紀子2019物流における拡張現実技術を用いたピッキング作業支援システムの開発,
  author = {松本紀子 and 小坂忠義 and 中島洋平 and 櫻田崇治 and 尾崎友哉 and 田野俊一},
  year = {2019},
  title = {物流における拡張現実技術を用いたピッキング作業支援システムの開発},
  journal = {情報処理学会研究報告コンシューマ・デバイス&システム(CDS), 2019-CDS-25,Vol.10, pp.1-8},
  month = may,
}

日立グループ全社におけるソフトウェア開発プロセス革新

小川秀人, 川上真澄, 加賀洋渡, and 1 more author

日立評論, 101 (2), pp. 76-81. 日立, May 2019

Evolution, Analytics Repository Mining Design, Implementation

Bib HTML

@article{小川2019日立グループ全社におけるソフトウェア開発プロセス革新,
  author = {小川秀人 and 川上真澄 and 加賀洋渡 and 長船辰昭},
  year = {2019},
  title = {日立グループ全社におけるソフトウェア開発プロセス革新},
  journal = {日立評論, 101 (2), pp. 76-81. 日立},
}

2018

Policing functions for machine learning systems

T. S. Hoang, N. Sato, T. Myosin, and 3 more authors

None, May 2018

AI, ML Quality, Reliability, Safety

Bib HTML

@article{Hoang2018Policing,
  author = {Hoang, T. S. and Sato, N. and Myosin, T. and Butler, M. and Nakagawa, Y. and Ogawa, H.},
  year = {2018},
  title = {Policing functions for machine learning systems},
  journal = {None},
}

DeepSaucer: Unified Environment for Verifying Deep Neural Networks

N. Sato, H. Kuruma, M. Kaneko, and 4 more authors

arXiv preprint arXiv:1811.03752, May 2018

AI, ML Testing, Verification

Bib HTML

@article{Sato2018DeepSaucer,
  author = {Sato, N. and Kuruma, H. and Kaneko, M. and Nakagawa, Y. and Ogawa, H. and Hoang, T. S. and Butler, M.},
  year = {2018},
  title = {DeepSaucer: Unified Environment for Verifying Deep Neural Networks},
  journal = {arXiv preprint arXiv:1811.03752},
}

Simplified Influence Evaluation of Additional Training on Deep Neural Networks

N. Sato, H. Kuruma, Y. Nakagawa, and 1 more author

In Proceedings of the 1st International Workshop on Machine Learning Systems Engineerning (iMLSE), Dec 2018

AI, ML Quality, Reliability, Safety

Bib HTML

@article{Sato2018Simplified,
  author = {Sato, N. and Kuruma, H. and Nakagawa, Y. and Ogawa, H.},
  year = {2018},
  title = {Simplified Influence Evaluation of Additional Training on Deep Neural Networks},
  journal = {In Proceedings of the 1st International Workshop on Machine Learning Systems Engineerning (iMLSE)},
  month = dec,
}

A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application

H. Ohbayashi, H. Kanuka, C. Okamoto

In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), pp. 717-718. IEEE, Dec 2018

AI, ML Quality, Reliability, Safety

Bib HTML

@article{Ohbayashi2018A,
  author = {Ohbayashi, H. and Kanuka, H. and Okamoto, C.},
  year = {2018},
  title = {A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application},
  journal = {In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), pp. 717-718. IEEE},
  month = dec,
}

A Supporting Method for Defining Business Constraint in Automated Test Data Generation

T. Sorabayashi, Y. Uchida, H. Kanuka

In Proceedings of the 12th International Conference on Project Management (ProMAC2018), Nov 2018

AI, ML Quality, Reliability, Safety

Bib

@article{Sorabayashi2018A,
  author = {Sorabayashi, T. and Uchida, Y. and Kanuka, H.},
  year = {2018},
  title = {A Supporting Method for Defining Business Constraint in Automated Test Data Generation},
  journal = {In Proceedings of the 12th International Conference on Project Management (ProMAC2018)},
  month = nov,
}

リポジトリマイニングに基づく「長すぎるメソッド」検出手法

堀旭宏, 市井誠, 川上真澄

第25回ソフトウェア工学の基礎ワークショップ (FOSE2018), Nov 2018

Repository Mining Design, Implementation

Bib

@article{堀2018リポジトリマイニングに基づく検出手法,
  author = {堀旭宏 and 市井誠 and 川上真澄},
  year = {2018},
  title = {リポジトリマイニングに基づく「長すぎるメソッド」検出手法},
  journal = {第25回ソフトウェア工学の基礎ワークショップ (FOSE2018)},
  month = nov,
}

作業ロス要因分析のための拡張現実技術を用いた物流倉庫内可視化ツールの開発

松本紀子, 小坂忠義, 荒宏視, and 3 more authors

情報処理学会論文誌コンシューマ・デバイス&システム, Vol.8, No.2, pp.1–10, May 2018

Repository Mining Design, Implementation

Bib HTML

@article{松本紀子2018作業ロス要因分析のための拡張現実技術を用いた物流倉庫内可視化ツールの開発,
  author = {松本紀子 and 小坂忠義 and 荒宏視 and 末光一成 and 堀田哲裕 and 尾崎友哉},
  year = {2018},
  title = {作業ロス要因分析のための拡張現実技術を用いた物流倉庫内可視化ツールの開発},
  journal = {情報処理学会論文誌コンシューマ・デバイス&システム, Vol.8, No.2, pp.1–10},
  month = may,
}

A test architecture for machine learning product

Y. Nishi, S. Masuda, H. Ogawa, and 1 more author

In Proceedings of 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 273-278. IEEE, Apr 2018

AI, ML Testing, Verification

Bib HTML

@article{Nishi2018A,
  author = {Nishi, Y. and Masuda, S. and Ogawa, H. and Uetsuki, K.},
  year = {2018},
  title = {A test architecture for machine learning product},
  journal = {In Proceedings of 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 273-278. IEEE},
  month = apr,
}

Real-time optimized HVAC control system on top of an IoT framework

A. Rajith, S. Soki, M. Hiroshi

In Proceedings of 2018 Third International Conference on Fog and Mobile Edge Computing (FMEC), pp. 181-186. IEEE, Apr 2018

AI, ML Testing, Verification

Bib HTML

@article{Rajith2018Real,
  author = {Rajith, A. and Soki, S. and Hiroshi, M.},
  year = {2018},
  title = {Real-time optimized HVAC control system on top of an IoT framework},
  journal = {In Proceedings of 2018 Third International Conference on Fog and Mobile Edge Computing (FMEC), pp. 181-186. IEEE},
  month = apr,
}

2017

拡張現実技術を用いた物流倉庫現場での作業ロス要因分析方式

松本紀子, 小坂忠義, 荒宏視, and 3 more authors

情報処理学会研究報告コンシューマ・デバイス&システム(CDS), 2017-CDS-20, Vol.1, pp.1-8, Aug 2017

AI, ML Testing, Verification

Bib HTML

@article{松本紀子2017拡張現実技術を用いた物流倉庫現場での作業ロス要因分析方式,
  author = {松本紀子 and 小坂忠義 and 荒宏視 and 末光一成 and 堀田哲裕 and 尾崎友哉},
  year = {2017},
  title = {拡張現実技術を用いた物流倉庫現場での作業ロス要因分析方式},
  journal = {情報処理学会研究報告コンシューマ・デバイス&システム(CDS), 2017-CDS-20, Vol.1, pp.1-8},
  month = aug,
}

2016

Depth-first heuristic search for software model checking

J. Maeoka, Y. Tanabe, F. Ishikawa

In Computer and Information Science 2015, pp. 75-96. Springer, Cham, Aug 2016

Testing, Verification formal Method

Bib HTML

@article{Maeoka2016Depth,
  author = {Maeoka, J. and Tanabe, Y. and Ishikawa, F.},
  year = {2016},
  title = {Depth-first heuristic search for software model checking},
  journal = {In Computer and Information Science 2015, pp. 75-96. Springer, Cham},
}

Refactoring verification using model transformation

M. Ichii, D. Shimbara, Y. Suzuki, and 1 more author

In Proceedings of the 1st International Workshop on Software Refactoring, pp. 17-24, Sep 2016

Testing, Verification Design, Implementation Modeling

Bib HTML

@article{Ichii2016Refactoring,
  author = {Ichii, M. and Shimbara, D. and Suzuki, Y. and  Ogawa, H.},
  year = {2016},
  title = {Refactoring verification using model transformation},
  journal = {In Proceedings of the 1st International Workshop on Software Refactoring, pp. 17-24},
  month = sep,
}

2015

Performance Exploring Using Model Checking - A Case Study of Hard Disk Drive Cache Function

T. Nagano, K. Serizawa, N. Yoshioka, and 2 more authors

In proceedings of The Tenth International Conference on Software Engineering Advances (ICSEA2015), IARIA, pp31-39, Nov 2015

Testing, Verification Modeling

Awarded Bib HTML

Beat Paper Award

@article{NaganoT.2015Performance,
  author = {Nagano, T. and Serizawa, K. and Yoshioka, N. and Tahara, Y. and Ohsuga, A.},
  year = {2015},
  title = {Performance Exploring Using Model Checking - A Case Study of Hard Disk Drive Cache Function},
  journal = {In proceedings of The Tenth International Conference on Software Engineering Advances (ICSEA2015), IARIA, pp31-39},
  month = nov,
}

モデル変換を用いたリファクタリング検証手法

市井誠小川秀人

コンピュータソフトウェア, 32 (3), pp. 70-76, Aug 2015

Testing, Verification Modeling

Bib HTML

@article{市井2015モデル変換を用いたリファクタリング検証手法,
  author = {市井誠 and 小川秀人},
  year = {2015},
  title = {モデル変換を用いたリファクタリング検証手法},
  journal = {コンピュータソフトウェア, 32 (3), pp. 70-76},
  month = aug,
}

プログラム等価性検証技術

市井誠小川秀人

日立評論, 97 (01-02), p. 137, Jan 2015

Testing, Verification Modeling

HTML