Takada, Shingo

写真a

Affiliation

Faculty of Science and Technology, Department of Information and Computer Science (Yagami)

Position

Professor

Related Websites

External Links

Career 【 Display / hide

  • 1992.09
    -
    1993.06

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

  • 1995.04
    -
    1999.03

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

  • 1999.04
    -
    2006.03

    慶應義塾大学(理工学部) ,専任講師

  • 2006.04
    -
    2015.03

    慶應義塾大学(理工学部),助教授(准教授)

  • 2015.04
    -
    Present

    慶應義塾大学(理工学部),教授

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

Academic Degrees 【 Display / hide

  • 工学 , Keio University, 1995.03

 

Research Areas 【 Display / hide

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

Research Keywords 【 Display / hide

  • Software Engineering

 

Books 【 Display / hide

  • 情報学基礎

    TAKADA SHINGO, 共立出版, 2013.03

    Scope: 1章,4章,7章

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

    TAKADA SHINGO, 森北出版, 2013.01

    Scope: 324-338

Papers 【 Display / hide

  • CC2020 Visualization Tool

    Clear A., Cuadros-Vargas E., Takada S.

    SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2 (SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2)     1063 - 1064 2022.03

     View Summary

    A significant part of the recently published ACM and IEEE-CS report "Computing Curricula 2020: Paradigms for Global Computing Education"[1] was the development of visualizations of any computing degree and the comparison with the ACM and IEEE-CS approved curricula. This visualization covers discipline areas that have approved curricula: Computer Engineering, Computer Science, Software Engineering, Information Systems, Information Technology and Cyber Security. The CC2020 report developed a "Landscape of Computing Knowledge"table (see table 1) aggregating all the topic areas of all six approved curricula into 34 topic areas and then assigned a minimum and maximum value for each of topic areas. As part of the visualizations project an online application has been developed (see Figure 1) where stakeholders can assign a minimum and maximum value to each of the topic areas that are required in their degree program and then that program can be matched against the current ACM/IEEE-CS approved curricula and other degree programs globally. This will have significant importance for educators and other stakeholders of computing degree programs.

  • Fault Localization in Server-Side Applications Using Spectrum-Based Fault Localization

    Yoshitomo Sha, Masataka Nagura, Shingo Takada

    Proc.of 5th Workshop on Validation, Analysis and Evolution of Software Tests (VST2022) (IEEE)     1128 - 1135 2022.03

    Research paper (international conference proceedings), Joint Work, Accepted

     View Summary

    Today's software has a very complex structure with multiple components, making it difficult to identify the cause of a fault. The process of identifying the cause of a fault may include referring to the logs from the system if they exist. But large and complex systems may generate a huge amount of logs, making the task of finding the important log messages to be a tedious task. In the case of systems that require continuous operation, the cause of faults must be identified quickly in an efficient manner. In this paper, we propose a method that identifies the log messages that are key for finding faults in server-side applications that has a tiered structure, such as LAMP (Linux, Apache, MySQL, PHP), and outputs logs (including traces during operation). The key part of our proposed approach is the application of Spectrum-Based Fault Localization (SBFL) to log files.

  • Fairness Testing of Machine Learning Software through a Combinatorial Approach

    Daniel Perez Morales, Takashi Kitamura, and Shingo Takada

    電子情報通信学会 知能ソフトウェア工学研究会 信学技報 (電子情報通信学会)  KBSE2021-50   54 - 59 2022.03

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

  • Towards Overcoming Type Limitations in Semantic Clone Detection

    Leone F., Takada S.

    Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022 (Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022)     25 - 31 2022

     View Summary

    Currently available tools for semantic clone detection have serious type limitations related to objects, in particular related to instantiation and comparison. The trend in the recent research has focused on improving the performance rather than removing these constraints. This paper proposes a test-based approach for semantic clone detection in Java which overcomes these problems. The test-based approach consists in running two methods with the same input and comparing their outputs. For object instantiation, the approach uses EvoSuite, an automatic JUnit test generator, to create the tests with correct instantiations of all the needed classes, which are then modified to make them suitable for semantic clone detection. The output comparison uses the DeepHash function to obtain numerical values for objects, considering the values of each instance variable. The approach was evaluated with SemanticCloneBench. The results show that the proposed approach performs very well in terms of precision, achieving 94.4%, which is about 8% higher than the reported precision of SLACC, a recent semantic clone detector. Furthermore, out of 228 methods used for the evaluation, the approach was not able to perform the detection for only ten methods.

  • An efficient discrimination discovery method for fairness testing

    Sano S., Kitamura T., Takada S.

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE)     200 - 205 2022

    ISSN  23259000

     View Summary

    With the increasing use of machine learning software in our daily life, software fairness has become a growing concern. In this paper, we propose an individual fairness testing technique called KOSEI. Individual fairness is one of the central concepts in software fairness. Testing individual fairness aims to detect individual discriminations included in the software. KOSEI is based on AEQUITAS by Udeshi et al., a landmark fairness testing technique featuring a two-step search strategy of global and local search. KOSEI improves the local search part of AEQUITAS, based on our insight to overcome the limitations of the local search of AEQUITAS. Our experiments show that KOSEI outperforms AEQUITAS by orders of magnitude. KOSEI, on average, detects 5,084.8% more discriminations than AEQUITAS, in just 7.5% of the execution time.

display all >>

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

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

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

Presentations 【 Display / hide

  • 記号実行を利用したセマンティックコードクローンの検出に関する一考察

    武元憲将, 高田眞吾

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

    2021.11

    Poster presentation

  • モバイルゲームのテスト自動化における強化学習の利用に関する一考察

    村瀬渓太, 高田眞吾

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

    2021.11

    Poster presentation

  • コミット前後で変化したコード片のクラスタリングに基づく変更内容の分類に関する一考察

    末次健太郎, 名倉正剛, 高田眞吾, 角幸一郎

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

    2021.09

    Poster presentation

  • Black-Box Fairness Testing Through Combinatorial Testing

    Daniel Perez Morales, 北村崇師, 高田眞吾

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

    2021.09

    Poster presentation

  • Overcoming input generation and output comparison problems in test-based semantic clone detection

    Francesco Leone, 高田眞吾

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

    2021.09

    Poster presentation

display all >>

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

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

    2022.04
    -
    2025.03

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

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

    2015.04
    -
    2019.03

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

 

Courses Taught 【 Display / hide

  • SPECIAL EXERCISES ON INFORMATION AND COMPUTER SCIENCE

    2023

  • SOFTWARE ENGINEERING: DEVELOPMENT AND TESTING

    2023

  • RECITATION IN INFORMATION AND COMPUTER SCIENCE

    2023

  • PROGRAMMING METHODOLOGIES

    2023

  • PROGRAMMING 2 B

    2023

display all >>

 

Memberships in Academic Societies 【 Display / hide

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

    2006.05
    -
    Present
  • 情報システム学会, 

    2005
    -
    Present
  • 電子情報通信学会, 

    1998
    -
    Present
  • ACM (Association for Computing Machinery), 

    1997
    -
    Present
  • 情報処理学会, 

    1996
    -
    Present

display all >>

Committee Experiences 【 Display / hide

  • 2023.03
    -
    2023.09

    Program Committee Member, 16th International Conference on the Quality of Information and Communications Technology (QUATIC 2023)

  • 2022.12
    -
    2023.05

    Program Committee Member, Student Contest On Software Engineering (SCORE 2023)

  • 2022.11
    -
    2023.05

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

  • 2022.11
    -
    2023.04

    Program Committee Member, 1st International Workshop on Context aware and Adaptive Software systems Testing

  • 2022.10
    -
    2023.10

    Program Committee Chair, 17th International Workshop on Software Clones (IWSC 2023)

display all >>