Takada, Shingo

写真a

Affiliation

Faculty of Science and Technology, Department of Information and Computer Science （Yagami）

Position

Professor

External Links
Page Top ▲

Career 【 Display / hide 】

  • 1992.09
    -
    1993.06

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

  • 1995.04
    -
    1999.03

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

  • 1999.04
    -
    2006.03

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

  • 2006.04
    -
    2015.03

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

  • 2015.04
    -
    Present

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

Page Top ▲

Academic Background 【 Display / hide 】

  • 1990.03

    Keio University, Faculty of Science and Engineering, 電気工学科

    University, Graduated

  • 1992.03

    Keio University, Graduate School, Division of Science and Engineeri, 計算機科学専攻

    Graduate School, Completed, Master's course

  • 1995.03

    Keio University, Graduate School, Division of Science and Engineeri, 計算機科学専攻

    Graduate School, Completed, Doctoral course

Page Top ▲

Academic Degrees 【 Display / hide 】

  • 工学　, Keio University, 1995.03

Page Top ▲
 

Research Areas 【 Display / hide 】

  • Informatics / Software (ソフトウエア)

Page Top ▲

Research Keywords 【 Display / hide 】

  • Software Engineering

Page Top ▲
 

Books 【 Display / hide 】

  • 情報学基礎

    TAKADA SHINGO, 共立出版, 2013.03

    Scope: 1章，4章，7章

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

    TAKADA SHINGO, 森北出版, 2013.01

    Scope: 324-338

Page Top ▲

Papers 【 Display / hide 】

  • Which Factors Affect Q-Learning-based Automated Android Testing - A Study Focusing on Algorithm, Learning Target, and Reward Function -

    Yuki Moriguchi, Shingo Takada

    Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE2021)    522 - 527 2021.07

    Research paper (international conference proceedings), Accepted

  • バグ発生の制約条件追加によるコンコリックテストのバグ発見能力の向上

    武元憲将, 高田眞吾, 名倉正剛

    第83回情報処理学会全国大会 講演論文集 （情報処理学会)     249 - 250 2021.03

    Research paper (conference, symposium, etc.), Joint Work

  • Detecting possibly unimplemented methods in android applications

    Nagura M., Usui H., Takada S.

    Computer Software （Japan Society for Software Science and Technology)  38 （ 2 ） 71 - 89 2021

    Research paper (scientific journal), Joint Work, Accepted,  ISSN  02896540

    　View Summary

    Android applications are event driven. Developers implement event handlers by inheriting and then coding callback methods that are defined in the Android API. If developers forget to implement relevant callback methods, the application may behave in an unexpected manner. In this paper, we propose an approach that detects methods that are currently unimplemented, but should be implemented. Detected methods are shown to developers for their consideration. We focus on callback methods that are frequently imple-mented, as well as pairs of methods that are frequently implemented together. Our approach first extracts such methods, method pairs and their frequencies from existing projects. Then, the extracted information is used to detect methods that are unimplemented but should be implemented, which are then shown to the developers. We implemented our approach as a plug-in for Android Studio. Our evaluation showed that our approach was able to detect more than half of the unimplemented methods that should be implemented within the top 15% of all unimplemented callback methods.

  • Coverage-Guided Fairness Testing

    Perez Morales D., Kitamura T., Takada S.

    Studies in Computational Intelligence （Studies in Computational Intelligence)  985   183 - 199 2021

    ISSN  9783030794736

    　View Summary

    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.

  • コーディング規約違反メトリクスに基づきソフトウェア変更に対して不具合混入を予測する手法

    名倉正剛, 田口健介, 高田眞吾

    情報処理学会論文誌 （情報処理学会)  61 （ 4 ） 895 - 907 2020.04

    Research paper (scientific journal), Joint Work, Accepted

display all >>

Page Top ▲

Papers, etc., Registered in KOARA 【 Display / hide 】

Page Top ▲

Reviews, Commentaries, etc. 【 Display / hide 】

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

    高田眞吾

    情報処理 (情報処理学会)  61 ( 11 ) 1119 - 1119 2020.11

    Article, review, commentary, editorial, etc. (scientific journal)

  • 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

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

    高田眞吾，土居範久

    日本語学 14 ( 4 ) 19 - 26 1995.04

    Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media), Joint Work

    　View Summary

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

Page Top ▲

Presentations 【 Display / hide 】

  • DX時代のコンピテンシー

    高田眞吾

    ADPISA2021, 

    2021.02
    , 

    Oral presentation (invited, special)

  • 確率的なモデル検査における状態爆発の抑制に関する一考察

    小島海, 高田眞吾

    第27回ソフトウェア工学の基礎ワークショップ (FOSE2020) [ポスターセッション], 

    2020.11
    , 

    Poster presentation

  • Fault Localization手法の適用による障害原因を示すログの特定に関する一考察

    謝佳智, 名倉正剛, 高田眞吾

    第27回ソフトウェア工学の基礎ワークショップ (FOSE2020) [ポスターセッション], 

    2020.11
    , 

    Poster presentation

  • コーディング規約違反箇所の変更履歴を利用する開発支援に関する一考察

    倉重徹, 末次健太郎, 角幸一郎, 名倉正剛, 高田眞吾, 浅原明広

    第27回ソフトウェア工学の基礎ワークショップ (FOSE2020) [ポスターセッション], 

    2020.11
    , 

    Poster presentation

  • OSS を対象にしたコーディング規約違反発生状況の調査

    倉重 徹, 末次 健太郎, 角 幸一郎, 名倉 正剛, 高田 眞吾, 浅原 明広

    ソフトウェアエンジニアリングシンポジウム2020 (SES2020) [ポスターセッション], 

    2020.09
    , 

    Poster presentation

display all >>

Page Top ▲

Research Projects of Competitive Funds, etc. 【 Display / hide 】

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

    2015.04
    -
    2019.03

    MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Principal investigator

Page Top ▲
 

Courses Taught 【 Display / hide 】

  • SOFTWARE ENGINEERING: DEVELOPMENT AND TESTING

    2022

  • RECITATION IN INFORMATION AND COMPUTER SCIENCE

    2022

  • PROGRAMMING METHODOLOGIES

    2022

  • PROGRAMMING 2 B

    2022

  • PROGRAMMING 2 A

    2022

display all >>

Page Top ▲
 

Memberships in Academic Societies 【 Display / hide 】

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

    2006.05
    -
    Present

  • 情報システム学会, 

    2005
    -
    Present

  • 電子情報通信学会, 

    1998
    -
    Present

  • ACM (Association for Computing Machinery), 

    1997
    -
    Present

  • 情報処理学会, 

    1996
    -
    Present

display all >>

Page Top ▲

Committee Experiences 【 Display / hide 】

  • 2021.04
    -
    2022.03

    Regional Contest Director（実行委員長）, International Collegiate Programming Contest, Asia Yokohama Regional Contest

  • 2021.04
    -
    2021.11

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

  • 2020.12
    -
    2021.05

    Program Committee Member, 8th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2021)

  • 2020.11
    -
    2022.04

    編集委員, 情報処理学会論文誌「ソフトウェア工学」特集号

  • 2020.09
    -
    2021.04

    Program Committee, 14th IEEE International Conference on Software Testing, Validation, and Verification (ICST2021) [Tool Demos Track]

display all >>

Page Top ▲