慶應義塾研究者情報データベース

経歴 【 表示 ／ 非表示 】

経歴 【 表示 ／ 非表示 】

• 1992年09月

  -

  1993年06月

  慶應義塾大学（理工学研究科日本IBM寄付講座） ,嘱託助手

• 1995年04月

  -

  1999年03月

  奈良先端科学技術大学院大学（情報科学研究科） ,助手

• 1999年04月

  -

  2006年03月

  慶應義塾大学（理工学部） ,専任講師

• 2006年04月

  -

  2015年03月

  慶應義塾大学（理工学部），助教授（准教授）

• 2015年04月

  -

  継続中

  慶應義塾大学（理工学部），教授

学歴 【 表示 ／ 非表示 】

学歴 【 表示 ／ 非表示 】

• 1990年03月

  慶應義塾大学, 理工学部, 電気工学科

  大学, 卒業

• 1992年03月

  慶應義塾大学, 理工学研究科, 計算機科学専攻

  大学院, 修了, 修士

• 1995年03月

  慶應義塾大学, 理工学研究科, 計算機科学専攻

  大学院, 修了, 博士

学位 【 表示 ／ 非表示 】

学位 【 表示 ／ 非表示 】

• 工学　, 慶應義塾大学, 1995年03月

研究分野 【 表示 ／ 非表示 】

研究分野 【 表示 ／ 非表示 】

• 情報通信 / ソフトウェア （ソフトウエア）

研究キーワード 【 表示 ／ 非表示 】

研究キーワード 【 表示 ／ 非表示 】

• ソフトウェア工学

著書 【 表示 ／ 非表示 】

著書 【 表示 ／ 非表示 】

• Coverage-Guided Fairness Testing

  Perez Morales D., Kitamura T., Takada S., Studies in Computational Intelligence, 2021年

  　概要を見る

  Software testing is a crucial task. Unlike conventional software, AI software that uses decision-making algorithms or classifiers needs to be tested for discrimination or bias. Such bias can cause discrimination towards certain individuals based on their protected attributes, such as race, gender or nationality. It is a major concern to have discrimination as an unintended behavior. Previous work tested for discrimination randomly, which has resulted in variations in the results for each test execution. These varying results indicate that, for each test execution, there is discrimination that is not found. Even though it is nearly impossible to find all discrimination unless we check all possible combinations in the system, it is important to detect as much discrimination as possible. We thus propose Coverage-Guided Fairness Testing (CGFT). CGFT leverages combinatorial testing to generate an evenly-distributed test suite. We evaluated CGFT with two different datasets, creating three models with each. The results show an improvement in the number of unfairness found using CGFT compared to previous work.

  • Access to Document (DOI)

• 情報学基礎

  高田 眞吾, 共立出版, 2013年03月

  担当範囲: 1章，4章，7章

• グローバル化するITSと国際標準

  高田 眞吾, 森北出版, 2013年01月

  担当範囲: 324-338

論文 【 表示 ／ 非表示 】

論文 【 表示 ／ 非表示 】

• Individual Fairness Testing in Fairness through Unawareness

  Taisei Kuma , Takashi Kitamura , Shingo Takada

  Proc. 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)    543 - 554 2026年05月

  研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

  　概要を見る

  Individual fairness testing evaluates a machine learning (ML) classifier by estimating its individual fairness ratio (IFr) and has become an important approach for assessing ML classifiers. However, existing studies on ML fairness testing focus exclusively on the Fairness Through Awareness (FTA) setting, where protected attributes are explicitly used. In this study, we introduce the first framework for individual fairness testing under Fairness Through Unawareness (FTU), where protected attributes are not explicitly available. The proposed framework, called IFTU_NAWARE, evaluates a classifier by estimating its IFr in the FTU setting. It extends individual fairness testing approaches developed for FTA by incorporating techniques, including protected attribute inference with confidence control, a generalized notion of individual similarity, and statistically guaranteed termination criteria. Our experiments show that IFTU_NAWARE can compute IFr estimates with statistical guarantees and demonstrate the effectiveness of both the generalized similarity notion and confidence-based protected attribute inference. These results highlight both the feasibility and the limitations of assessing individual fairness under FTU and provide a foundation for future methodological advances.

• Automatic GUI Testing of Android Applications Based on Multi-Agent Reinforcement Learning

  Kazuki Dodo, Shingo Takada

  Proc. 2026 IEEE International Conference on Software Testing, Verification and Validation Workshops (ASTA2026)    37 - 40 2026年05月

  研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

  　概要を見る

  Recent efforts in GUI testing of mobile applications have seen the use of reinforcement learning. Such work have focused on single agents, but they have had issues such as repeating the same paths, resulting in it being difficult to increase coverage. On the other hand, the reinforcement learning research field has seen the use of multiple agents.We propose a multi-agent reinforcement learning based approach to Android testing called MultiQDroid. MultiQDroid has multiple agents exploring the state space, each with a different exploration strategy. Agents can access memory containing their own explored states, as well as a shared memory that contains states that have been explored by all agents. The reward function is defined so that new states are given higher reward. Preliminary evaluation shows that MultiQDroid achieve higher coverage compared to a single agent approach.

• 欠陥予測を考慮したモバイルアプリケーションの自動 GUI テスト

  赤坂 虎大朗，高田 眞吾

  第32回ソフトウェア工学の基礎ワークショップ (FOSE2025) 2025年11月

  最終著者, 査読有り

• Generating test code for web applications using LLM

  Rikuto Ito, Shingo Takada

  Proceedings of the 18th International Conference on the Quality of Information and Communications Technology (QUATIC2025) 2025年09月

  研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

  　概要を見る

  Testing web applications is challenging due to their complex user interfaces and dynamic behaviors. Achieving comprehensive state exploration requires generating appropriate input values that satisfy validation constraints. Existing approaches using random input generation or model-based techniques often struggle with form validation and contextual input requirements. This paper proposes a novel approach leveraging Large Language Models (LLMs) to understand web application context and generate meaningful inputs for effective state exploration. Our method extracts UI elements and contextual information from HTML, converts them into structured prompts for LLMs, and generates executable Selenium WebDriver code with appropriate inputs. The system then executes this code and continues exploration by detecting state transitions using normalized Levenshtein distance. Evaluation on multiple open-source web applications shows up to 30% higher code coverage and increased detection of client-side errors, confirming the effectiveness of our approach to LLM-assisted testing for web applications.

• Semantic Matching based Test Case Reuse for Android Applications

  Nguyen N.B., Takada S.

  Proceedings 2025 IEEE International Conference on Software Analysis Evolution and Reengineering Companion Saner C 2025    174 - 181 2025年03月

  研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

  　概要を見る

  Graphical User Interface (GUI) testing is crucial for ensuring that Android applications deliver a positive, consistent, and functional user experience. Nonetheless, most automated GUI testing techniques aim at maximizing code coverage or finding as many crashes as possible, not focusing much on the functional features of the app. Recently, test reuse based on semantic similarities between applications with similar functionalities has been utilized to reduce the cost of GUI testing. However, they still face many obstacles, such as limited text semantic information and ineffective semantic matching rules, resulting in generating inaccurate test cases. In this paper, we propose SMAPDroid, a framework for reusing test cases between Android applications with similar features. Our evaluation results show that SMAPDroid performs better than prior work in terms of precision and recall, and reduced human effort by 91% compared to writing test scripts from scratch.

  • Access to Document (DOI)

全件表示 >>

KOARA（リポジトリ）収録論文等 【 表示 ／ 非表示 】

KOARA（リポジトリ）収録論文等 【 表示 ／ 非表示 】

• コンテキスト情報に基づいたモバイルアプリケーションのテストケース生成に関する研究

  高田, 眞吾

  科学研究費補助金研究成果報告書 2018年

• サービス指向システムの動的再構成可能な環境に関する研究

  高田, 眞吾

  科学研究費補助金研究成果報告書 2012年

総説・解説等 【 表示 ／ 非表示 】

総説・解説等 【 表示 ／ 非表示 】

• CC2020 プロジェクトと 情報系カリキュラムについて

  高田眞吾

  情報処理 （情報処理学会）  61 （ 11 ） 1119 - 1119 2020年11月

  記事・総説・解説・論説等（学術雑誌）

• Introduction to the Special Issue on Foundations of Software Engineering

  Monden A., Morisaki S., Ohira M., Aman H., Sawada A., Sugiyama Y., Takada S., Hanakawa N., Washizaki H.

  Computer Software （Computer Software）  37 （ 4 ）  2020年10月

  ISSN  02896540

  • Access to Document (DOI)

• 省略された代名詞の解釈 - 工学系 -

  高田眞吾，土居範久

  日本語学 14 （ 4 ） 19 - 26 1995年04月

  記事・総説・解説・論説等（商業誌、新聞、ウェブメディア）, 共著

  　概要を見る

  省略された代名詞の解釈に関する過去の研究を概観し，それから具体的な研究例としてセンターリストモデルという枠組みを取り上げる．

研究発表 【 表示 ／ 非表示 】

研究発表 【 表示 ／ 非表示 】

• LLM によるライブラリを利用したコードの生成に関する一考察

  赤坂 虎大朗，高田 眞吾

  [国内会議]  第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 

  2025年11月

  , 

  ポスター発表

• 公平性テストにおける差別データの妥当性が再学習に与える影響に関する一考察

  船本和希, 北村崇師, 高田 眞吾

  [国内会議]  第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 

  2025年11月

  , 

  ポスター発表

• フォルトローカリゼーションにおける静的手法と動的手法の一考察

  磯野 雅志，高田 眞吾

  [国内会議]  第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 

  2025年11月

  , 

  ポスター発表

• GAN と拡散モデルを用いたテストケース生成に関する一考察

  塗 遠シン，高田 眞吾

  [国内会議]  第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 

  2025年11月

  , 

  ポスター発表

• 公平性テストにおける差別データの多様性の有効性に関する実証研究

  船本和希, 北村崇師, 高田 眞吾

  [国内会議]  知能ソフトウェア工学研究会 (KBSE), 

  2025年03月

  , 

  口頭発表（一般）

全件表示 >>

競争的研究費の研究課題 【 表示 ／ 非表示 】

競争的研究費の研究課題 【 表示 ／ 非表示 】

• モバイルアプリケーションのテストにおけるテキスト入力欄の入力値の自動生成

  2026年04月

  -

  2029年03月

  文部科学省・日本学術振興会, 科学研究費助成事業, 高田　眞吾, 基盤研究(C), 補助金,  研究代表者

• 機械学習に基づいたソフトウェアテストにおけるカバレッジ向上に関する研究

  2022年04月

  -

  2026年03月

  文部科学省・日本学術振興会, 科学研究費助成事業, 高田　眞吾, 基盤研究(C), 補助金,  研究代表者

• コンテキスト情報に基づいたモバイルアプリケーションのテストケース生成に関する研究

  2015年04月

  -

  2019年03月

  文部科学省・日本学術振興会, 科学研究費助成事業, 高田　眞吾, 基盤研究(C), 補助金,  研究代表者

担当授業科目 【 表示 ／ 非表示 】

担当授業科目 【 表示 ／ 非表示 】

• 人間・社会システム情報科学修士研究Ａ２

  2026年度

• プログラミング第２同演習Ａ

  2026年度

• 人間交際プロジェクトⅠ

  2026年度

• 情報工学輪講

  2026年度

• 開放環境科学特別研究第１

  2026年度

全件表示 >>

所属学協会 【 表示 ／ 非表示 】

所属学協会 【 表示 ／ 非表示 】

• 情報処理学会 ソフトウェア工学研究会, 

  2006年05月

  -

  継続中

• 情報システム学会, 

  2005年

  -

  継続中

• 電子情報通信学会, 

  1998年

  -

  継続中

• ACM (Association for Computing Machinery), 

  1997年

  -

  継続中

• 情報処理学会, 

  1996年

  -

  継続中

全件表示 >>

委員歴 【 表示 ／ 非表示 】

委員歴 【 表示 ／ 非表示 】

• 2026年04月

  -

  2026年12月

  プログラム委員, 33rd Asia-Pacific Software Engineering Conference (APSEC 2026)

• 2026年03月

  -

  2026年09月

  プログラム委員, 19th International Conference on the Quality of Information and Communications Technology (QUATIC 2026)

• 2026年03月

  -

  2026年09月

  プログラム委員, ソフトウェアエンジニアリングシンポジウム2026

• 2026年02月

  -

  2026年07月

  プログラム委員, COMPSAC 2026 -- Symposium on Software Engineering Technologies & Applications

• 2026年01月

  -

  2026年11月

  編集委員, コンピュータソフトウェア誌 FOSE特集号 2025

全件表示 >>