Rchr
J-GLOBAL ID：201101048924065523
Update date: Feb. 01, 2024
takashi kitamura
takashi kitamura
Affiliation and department：
Research field (2)：
Intelligent informatics
, Software
Research keywords (3)：
Fairness
, Software Testing
, Formal methods
Research theme for competitive and other funds (3)：
- 2017 - 2022 Combinatorial testing in continuous development
- 2013 - 2016 テスト技法FOTの支援ツール開発、技法の拡充、実証実験による実用化研究
- 2011 - 2012 Research on Construction of a Logic for Formal Methods and Properties of First-Order Extensions
Papers (31)：
-
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura 0001. Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. Inf. Softw. Technol. 2024. 167. 107390-107390
-
Takashi Kitamura 0001, Zhenjiang Zhao, Takahisa Toda. Applying Combinatorial Testing to Verification-Based Fairness Testing. SSBSE. 2022. 101-107
-
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura 0001. Efficient Fairness Testing Through Hash-Based Sampling. SSBSE. 2022. 35-50
-
Shinya Sano, Takashi Kitamura 0001, Shingo Takada 0001. An efficient discrimination discovery method for fairness testing. SEKE. 2022. 200-205
-
Hao Jin, Takashi Kitamura 0001, Eun-Hye Choi, Tatsuhiro Tsuchiya. A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference(ICTSS). 2020. 302-309
ｍore...
Education (3)：
- 2003 - 2008 Chinese Academy of Sciences, Institute of Software
- 2001 - 2003 静岡大学大学院情報学研究科
- 1997 - 2001 静岡大学情報学部情報科学科
Work history (3)：
- 2016/10 - 現在 National Institute of Advanced Industrial Science and Technology
- 2012/04 - 2016/09 National Institute of Advanced Industrial Science and Technology
- 2008/09 - 2012/03 National Institute of Advanced Industrial Science and Technology
Committee career (3)：
- 2023/05 - 現在 IEICE KBSE 研究会
- 2022/06 - 現在 IEICE SS研究会
- 2018/04 - 2023/03 情報処理学会組込みシステム研究会
Return to Previous Page
