発表論文

2025 年

  • 論文誌(査読あり)
    1. 大嶋琉太,阿萬裕久,川原稔,
      “記号実行技術とミューテーション技術を組み合わせたテストデータ自動生成,”
      コンピュータソフトウェア,Vol.42, No.1, pp.69–82, Feb. 2025.

2024 年

  • ワークショップ(査読あり)
    1. 森 哉尋,阿萬 裕久,川原 稔,
      “CodeT5 と正規表現を活用した不適切な変数名の自動検出法とその評価,”
      戸田 航史,藤原 賢二 編 ソフトウェア工学の基礎 31,pp.35–44, 近代科学社Digital,Nov. 2024.
      【IEEE Computer Society Japan Chapter FOSE Young Researcher Award 受賞】
    2. 伏原 裕生,阿萬 裕久,川原 稔,
      “Python テストスメルのバグ予測子としての有用性に関する定量的分析,”
      戸田 航史,藤原 賢二 編 ソフトウェア工学の基礎 31,pp.65–74, 近代科学社Digital,Nov. 2024.
      【IEEE Computer Society Japan Chapter FOSE Young Researcher Award 受賞】
    3. 三好 涼太,阿萬 裕久,川原 稔,
      “解答プログラムのベクトル表現に基づいたプログラミング問題間の類似性評価に関する考察,”
      戸田 航史,藤原 賢二 編 ソフトウェア工学の基礎 31,pp.103–108, 近代科学社Digital,Nov. 2024.
    4. 山下 智也,阿萬 裕久,川原 稔,
      “Webアプリケーション向け異常系テストの自動生成に関する提案:Selenium とミューテーションの活用,”
      戸田 航史,藤原 賢二 編 ソフトウェア工学の基礎 31,pp.189–190, 近代科学社Digital,Nov. 2024.
      (※ライブ論文のためポスター発表)【FOSE2024ライブ論文賞 受賞】
  • 研究会
    1. 新山剛司,阿萬裕久,二宮崇,
      ChatGPT4oを用いた要件定義の工程支援とその効果に関する考察,”
      ソフトウェアエンジニアリングシンポジウム2024論文集,vol.2024, pp. 117–122, Sept. 2024.
    2. 田中琉吾,横川智教,天嵜聡介,阿萬裕久,有本和民,
      “時間制約をもつゲームスクリプトを対象としたモデル検査手法の提案,”
      情報処理学会研究報告ソフトウェア工学(SE), 2024-SE-217(21), pp.1–8, July 2024.
    3. 水本拓海,横川智教,天嵜聡介,阿萬裕久,有本和民,
      “ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価,”
      情報処理学会研究報告ソフトウェア工学(SE), 2024-SE-217(22), pp.1–8, July 2024.
    4. 森 哉尋,阿萬 裕久,川原 稔,
      変数の型名と代入式に着目した命名パターンと大規模言語モデルを活用した変数名評価に関する考察,”
      電子情報通信学会技術研究報告,vol. 123, no. 414, SS2023-71, pp. 133–138, Mar. 2024.
    5. 伏原 裕生,阿萬 裕久,川原 稔,
      テストコードにおけるテストスメルの存在とバグ潜在性の関係に関する定量的調査,”
      電子情報通信学会技術研究報告,vol. 123, no. 414, SS2023-60, pp. 67–72, Mar. 2024.