|
ソフトウェアリポジトリにバグを求めて
|
ソフトウェア リポジトリ ニ バグ オ モトメテ |
水野 修／著 |
ミズノ オサム |
11 |
|
ファジングが発見した不具合に対するSBFLの有効性調査
|
ファジング ガ ハッケン シタ フグアイ ニ タイスル エスビーエフエル ノ ユウコウセイ チョウサ |
鎌田 夏実／ほか著 |
カマダ ナツミ |
13-22 |
|
ModernBERTを活用した意味的コード検索
|
モダン バート オ カツヨウ シタ イミテキ コード ケンサク |
松本 竣吾／著 |
マツモト シュンゴ |
23-32 |
|
プログラミング演習における細粒度履歴データを用いたコード流用の特定と分析
|
プログラミング エンシュウ ニ オケル サイリュウド リレキ データ オ モチイタ コード リュウヨウ ノ トクテイ ト ブンセキ |
新 伊織／著 |
シン イオリ |
33-42 |
|
コメントに着目したLLM生成コードの検出精度の比較調査
|
コメント ニ チャクモク シタ エルエルエム セイセイ コード ノ ケンシュツ セイド ノ ヒカク チョウサ |
井上 智博／著 |
イノウエ トモヒロ |
43-52 |
|
マルチモーダルLLMを用いたCoT Promptingによる振る舞い図読み取り技術の提案
|
マルチモーダル エルエルエム オ モチイタ シーオーティー プロンプティング ニ ヨル フルマイズ ヨミトリ ギジュツ ノ テイアン |
應治 沙織／著 |
オウジ サオリ |
53-62 |
|
要求仕様の曖昧表現パターンの提案と学習効果
|
ヨウキュウ シヨウ ノ アイマイ ヒョウゲン パターン ノ テイアン ト ガクシュウ コウカ |
飯村 結香子／著 |
イイムラ ユカコ |
63-72 |
|
ソフトウェア価格予実差に影響する要因の分析
|
ソフトウェア カカク ヨジツサ ニ エイキョウ スル ヨウイン ノ ブンセキ |
角田 雅照／ほか著 |
ツノダ マサテル |
73-82 |
|
生成AIが提示した複数のコード片に対して開発者による選択を支援する手法
|
セイセイ エーアイ ガ テイジ シタ フクスウ ノ コードヘン ニ タイシテ カイハツシャ ニ ヨル センタク オ シエン スル シュホウ |
佐々木 瞭磨／著 |
ササキ リョウマ |
83-92 |
|
Stack OverflowとGitHub Discussionsにおける技術的負債の投稿の傾向と内容の違いの調査
|
スタック オーヴァーフロウ ト ギットハブ ディスカッションズ ニ オケル ギジュツテキ フサイ ノ トウコウ ノ ケイコウ ト ナイヨウ ノ チガイ ノ チョウサ |
桑原 大昇／著 |
クワハラ アサヒ |
93-98 |
|
GitHub Issuesを通じたChatGPTの開発者利用におけるプロンプトの特徴の調査
|
ギットハブ イシューズ オ ツウジタ チャット ジーピーティー ノ カイハツシャ リヨウ ニ オケル プロンプト ノ トクチョウ ノ チョウサ |
祐谷 創／著 |
ユウヤ ハジメ |
99-104 |
|
企業におけるアジャイル開発導入のための機能安全に関するアンケート分析
|
キギョウ ニ オケル アジャイル カイハツ ドウニュウ ノ タメ ノ キノウ アンゼン ニ カンスル アンケート ブンセキ |
野本 崇史／著 |
ノモト タカシ |
105-110 |
|
ブロックチェーンのPoWにおける完全性のためのストランド空間解析
|
ブロック チェーン ノ ピーオーダブリュー ニ オケル カンゼンセイ ノ タメ ノ ストランド クウカン カイセキ |
松井 健吾／著 |
マツイ ケンゴ |
111-116 |
|
通信障害を考慮した速度制御での1次元系における追従ロボットに対するSPINを用いたモデル検査
|
ツウシン ショウガイ オ コウリョ シタ ソクド セイギョ デノ イチジゲンケイ ニ オケル ツイジュウ ロボット ニ タイスル スピン オ モチイタ モデル ケンサ |
佐藤 広大／著 |
サトウ コウダイ |
117-122 |
|
機械学習アシストによる並列モデル検査手法についての考察
|
キカイ ガクシュウ アシスト ニ ヨル ヘイレツ モデル ケンサ シュホウ ニ ツイテ ノ コウサツ |
岸 知二／著 |
キシ トモジ |
123-128 |
|
Yumin Village
／ マルチフロントエンドシステムを利用した実践的システム開発教育環境
|
ユミン ヴィレジ |
花川 典子／著 |
ハナカワ ノリコ |
129-134 |
|
生成AIを活用したプログラミング演習支援システムにおける可視化機能の構築と授業支援への活用可能性
|
セイセイ エーアイ オ カツヨウ シタ プログラミング エンシュウ シエン システム ニ オケル カシカ キノウ ノ コウチク ト ジュギョウ シエン エノ カツヨウ カノウセイ |
佐々木 虎太郎／著 |
ササキ コタロウ |
135-140 |
|
AIエージェントを用いたプログラミング課題の自動フィードバックシステム開発の試み
|
エーアイ エージェント オ モチイタ プログラミング カダイ ノ ジドウ フィードバック システム カイハツ ノ ココロミ |
中才 恵太朗／著 |
ナカサイ ケイタロウ |
141-146 |
|
IEC61508要求事項の分析およびD-Caseを用いた構造化手法の提案
|
アイイーシー ロクイチゴゼロハチ ヨウキュウ ジコウ ノ ブンセキ オヨビ ディー ケース オ モチイタ コウゾウカ シュホウ ノ テイアン |
阿部 光希／著 |
アベ コウキ |
147-152 |
|
大規模言語モデルを用いたユースケース文書の整合性評価
|
ダイキボ ゲンゴ モデル オ モチイタ ユース ケース ブンショ ノ セイゴウセイ ヒョウカ |
大竹 聖／著 |
オオタケ セイ |
153-158 |
|
文脈情報を用いた要求仕様書の曖昧性判定
|
ブンミャク ジョウホウ オ モチイタ ヨウキュウ シヨウショ ノ アイマイセイ ハンテイ |
石井 里彩／著 |
イシイ リサ |
159-164 |
|
開発者のソースコード理解を促進するためのTerm Retrieval‐Augmented Comment Generation
|
カイハツシャ ノ ソース コード リカイ オ ソクシン スル タメ ノ ターム リトリーヴァル オーグメンテッド コメント ジェネレーション |
西川 和寿／著 |
ニシカワ カズ |
165-170 |
|
LLMを用いた開発における設計文書を介したコード生成の有効性に関する調査
|
エルエルエム オ モチイタ カイハツ ニ オケル セッケイ ブンショ オ カイシタ コード セイセイ ノ ユウコウセイ ニ カンスル チョウサ |
切貫 弘之／著 |
キリヌキ ヒロユキ |
171-176 |
|
欠陥予測を考慮したモバイルアプリケーションの自動GUIテスト
|
ケッカン ヨソク オ コウリョ シタ モバイル アプリケーション ノ ジドウ ジーユーアイ テスト |
赤坂 虎大朗／著 |
アカサカ コタロウ |
177-182 |
|
利用ライブラリの進化に追随するためのソースコード修正例の検索手法
|
リヨウ ライブラリ ノ シンカ ニ ツイズイ スル タメ ノ ソース コード シュウセイレイ ノ ケンサク シュホウ |
桑原 寛明／著 |
クワバラ ヒロアキ |
183-188 |
|
UML,STPA,FRAMの情報を連携させた安全なシステムの開発手法の提案
|
ユーエムエル エスティーピーエー エフラム ノ ジョウホウ オ レンケイ サセタ アンゼン ナ システム ノ カイハツ シュホウ ノ テイアン |
高橋 正和／著 |
タカハシ マサカズ |
189-190 |
|
生成AIを導入したソフトウェア開発のための開発過程と妥当性根拠の可視化手法
|
セイセイ エーアイ オ ドウニュウ シタ ソフトウェア カイハツ ノ タメ ノ カイハツ カテイ ト ダトウセイ コンキョ ノ カシカ シュホウ |
興津 綾弓／ほか著 |
オキツ アユミ |
191-192 |
|
AIのAIによる人のためのプログラミング言語の検討
|
エーアイ ノ エーアイ ニ ヨル ヒト ノ タメ ノ プログラミング ゲンゴ ノ ケントウ |
小川 秀人／著 |
オガワ ヒデト |
193-194 |
|
形態素解析を用いた演習問題の内容推定に向けた類似度の比較
|
ケイタイソ カイセキ オ モチイタ エンシュウ モンダイ ノ ナイヨウ スイテイ ニ ムケタ ルイジド ノ ヒカク |
野林 緑朗／著 |
ノバヤシ ロクロウ |
195-196 |
|
対話型AIを用いたレビューに基づく開発支援システム
|
タイワガタ エーアイ オ モチイタ レビュー ニ モトズク カイハツ シエン システム |
宮下 拓也／著 |
ミヤシタ タクヤ |
197-198 |
|
地方公共団体の情報システム仕様書を対象としたLLMによるセキュリティ要件の評価
|
チホウ コウキョウ ダンタイ ノ ジョウホウ システム シヨウショ オ タイショウ ト シタ エルエルエム ニ ヨル セキュリティ ヨウケン ノ ヒョウカ |
中越 渉太／著 |
ナカゴシ ショウタ |
199-200 |
|
大規模言語モデルとの併用による検索ベーステストのカバレッジ向上
|
ダイキボ ゲンゴ モデル トノ ヘイヨウ ニ ヨル ケンサク ベース テスト ノ カバレッジ コウジョウ |
五反田 正浩／ほか著 |
ゴタンダ マサヒロ |
201-202 |
|
環境差異を吸収可能なプログラミング演習支援システムの開発
|
カンキョウ サイ オ キュウシュウ カノウ ナ プログラミング エンシュウ シエン システム ノ カイハツ |
有川 康幸／著 |
アリカワ ヤスユキ |
203-204 |
|
セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング
|
セキュリティ カダイ ノ ヒョウカ オ モクテキ ト シタ ウェブ ブラウザ ノ コンソール ログ ノ マイニング |
鈴木 孝太郎／著 |
スズキ コウタロウ |
205-206 |
|
生成AIを用いた仕様書とコード間の整合性確認
|
セイセイ エーアイ オ モチイタ シヨウショ ト コードカン ノ セイゴウセイ カクニン |
河口 怜央／ほか著 |
カワグチ レオ |
207-208 |
|
大規模言語モデルによる曖昧要求文生成器の試作
|
ダイキボ ゲンゴ モデル ニ ヨル アイマイ ヨウキュウブン セイセイキ ノ シサク |
藤木 智広／ほか著 |
フジキ トモヒロ |
209-210 |
|
コンテキストエンジニアリングによる連合学習の要求分析
|
コンテキスト エンジニアリング ニ ヨル レンゴウ ガクシュウ ノ ヨウキュウ ブンセキ |
大石 慶一朗／著 |
オオイシ ケイイチロウ |
211-212 |
|
開発履歴を用いた組織ごとのバグ混入傾向の特徴分析に向けた試み
|
カイハツ リレキ オ モチイタ ソシキゴト ノ バグ コンニュウ ケイコウ ノ トクチョウ ブンセキ ニ ムケタ ココロミ |
本田 澄／ほか著 |
ホンダ キヨシ |
213-214 |
|
KotlinプログラムのKotlinらしい慣用表現について
|
コトリン プログラム ノ コトリンラシイ カンヨウ ヒョウゲン ニ ツイテ |
清水端 康佑／著 |
シミズバタ コウスケ |
215-216 |
|
LLMを用いた自由記述に基づく性の多様性に対する態度計測のフィージビリティ評価
|
エルエルエム オ モチイタ ジユウ キジュツ ニ モトズク セイ ノ タヨウセイ ニ タイスル タイド ケイソク ノ フィージビリティ ヒョウカ |
浜元 健成／著 |
ハマモト ケンセイ |
217-218 |
|
運転者の嗜好を考慮した経路探索に向けたLLMを活用したパーソナライズド地図作成
|
ウンテンシャ ノ シコウ オ コウリョ シタ ケイロ タンサク ニ ムケタ エルエルエム オ カツヨウ シタ パーソナライズド チズ サクセイ |
近藤 颯／ほか著 |
コンドウ ハヤテ |
219-220 |
|
Kubernetesにおけるコンテナオーケストレーション移行を想定したOSSの現状調査
|
クーバネティス ニ オケル コンテナ オーケストレーション イコウ オ ソウテイ シタ オーエスエス ノ ゲンジョウ チョウサ |
松橋 尚也／著 |
マツハシ ナオヤ |
221-222 |
|
ランダムフォレストとリポジトリヒストリを用いた開発継続性の予測ツールの開発
|
ランダム フォレスト ト リポジトリ ヒストリ オ モチイタ カイハツ ケイゾクセイ ノ ヨソク ツール ノ カイハツ |
小林 勇貴／著 |
コバヤシ ユウキ |
223-224 |
|
大規模マルチモーダルモデルを用いたRFIレビュー支援のための事前調査
|
ダイキボ マルチモーダル モデル オ モチイタ アールエフアイ レビュー シエン ノ タメ ノ ジゼン チョウサ |
津田 大翔／著 |
ツダ ヤマト |
225-226 |
|
大規模言語モデルを用いたGitコミットメッセージ自動生成の評価の試み
|
ダイキボ ゲンゴ モデル オ モチイタ ギット コミット メッセージ ジドウ セイセイ ノ ヒョウカ ノ ココロミ |
井上 蒼士／著 |
イノウエ ソウシ |
227-228 |
|
保守性指標とコード品質指標に基づくChatGPT生成コードの分析
|
ホシュセイ シヒョウ ト コード ヒンシツ シヒョウ ニ モトズク チャット ジーピーティー セイセイ コード ノ ブンセキ |
宮永 翔多／著 |
ミヤナガ ショウタ |
229-230 |
