Last updated: May 10 2024
I am a senior researcher in AIST, Japan. My research interest is mainly on software science and engineering., especially software testing and formal verification.
27. Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda: Applying Combinatorial Testing to Verification-Based Fairness Testing. SSBSE 2022: 101-107 [Preprint]
26. Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura: Efficient Fairness Testing Through Hash-Based Sampling. SSBSE 2022: pp. 35-50 [Preprint]
25. Shinya Sano, Takashi Kitamura, Shingo Takada: An efficient discrimination discovery method for fairness testing, In Proc. of The 34th International Conference on Software Engineering & Knowledge Engineering (SEKE22), pp. 200-205, 2022. [PDF]
24. Daniel Perez Morales, Takashi Kitamura, Shingo Takada: Coverage-Guided Fairness Testing, In Proc. of 20th IEEE/ACIS International Summer Semi-Virtual Conference on Computer and Information Science (ICIS21), pp. 183-199, 2021 [Preprint] [PDF] [Student paper award]
This paper was submitted, accepted, and presented at the 18th IEEE/ACIS International Virtual Conference on Software Engineering, Management, and Applications (SERA 2021). This paper was selected as one of the best papers of SERA21 and was published in the Proceedings of ICIS201.
23. Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho: Toward an Encoding Approach to Interaction-based Test Suite Minimization. In Proc. of 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) pp 211-212 [PDF], 2020
This paper was submitted, accepted, and presented in IWCT2020.
22. Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya: A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. In Proc. of ICTSS 2020: 302-309
21. Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi: A Prioritization Method for SPL Pairwise Testing Based on User Profiles. In Proc. of APSEC 2019: 118-125 [PDF]
20. Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya: A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops 2018: 285-294 [PDF]
This paper was submitted, accepted, and presented in IWCT2018.
19. Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini: Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. In Proc. of SAFECOMP 2018: 123-138 [PDF]
18. Takashi Kitamura, Emil Alégroth, Rudolf Ramler: Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. ICST Workshops 2017: 42-43
17. Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model-Based API Testing of Apache ZooKeeper. ICST 2017: 288-298 [PDF]
16. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho: Classification Tree Method with Parameter Shielding. SAFECOMP 2017: 230-241
15. Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada: Distance-Integrated Combinatorial Testing. ISSRE 2016: 93-104
14. Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi: Greedy combinatorial test case generation using unsatisfiable cores. ASE 2016: 614-624
13. Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura: Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. QRS 2016: 61-68
12. Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa: Priority Integration for Weighted Combinatorial Testing. COMPSAC 2015: 242-247
11. Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere: Optimization of Combinatorial Testing by Incremental SAT Solving. ICST 2015: 1-10
10. Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata: Model-Based Testing of Stateful APIs with Modbat. ASE 2015: 858-863
9. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi: Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS 2015: 141-150 [Best Paper Award]
8. Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa: Design of Prioritized N-Wise Testing. ICTSS 2014: 186-191
7. Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki: Constructing test cases for n-wise testing from tree-based test models. SoICT 2013: 275-284
6. Takashi Kitamura, Keishi Okamoto: Automated Route Planning for Milk-run Transport Logistics Using Model Checking. ICNC 2012: 240-246
5. Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki: Formal Model-Based Test for AUTOSAR Multicore RTOS. ICST 2012: 251-259
4. Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe: Test-Case Design by Feature Trees. ISoLA (1) 2012: 458-473
3. Takashi Kitamura, Keishi Okamoto, Makoto Takeyama: Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC 2010: 251-252
2. Takashi Kitamura, Huimin Lin: Specifying Properties for Modular Pi-Calculus. TASE 2008: 201-208
1. Takashi Kitamura, Huimin Lin: Controlling Process Modularity in Mobile Computing. ICTAC 2007: 246-259
3. Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura: Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. Inf. Softw. Technol. 167: 107390 (2024)
2. Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30(7-8) (2020)
1. Takashi Kitamura, Keishi Okamoto: Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. IEICE Trans. Inf. Syst. 96-D(12): 2555-2564 (2013)
2017.04-2020.03: Principle Investigator, Kaken (Wakate-B), "Combinatorial testing in continuous development"
2013.12-2016.11: Principle Investigator, JST A-STEP (High-risk challenge), "Enhancement, tool development, and empirical study of FOT"
2011.12-2012.11: Co-investigator, JST A-STEP (Feasibility study), "Feasibility study on scalability on a combinatorial testing technique"
2010.12-2012.11: Co-investigator, Kaken (Kiban-C), "Logics for formal methods and their first-order extensions"
2016.10-present: Senior researcher, AIST
2012.4-2016.9: Researcher, AIST
2008.9-2012.3: Post-doctoral researcher, AIST
2003-2008. Ph.D. Institute of Software, Chinese Academy of Sciences, Beijing, China. (Advisor Prof. Huimin LIN)
2001-2003. M.S. Information, Shizuoka University, Shizuoka, Japan. (Advisor Prof. Atsushi TOGASHI)
1997-2001. B.A. Information, Shizuoka University, Shizuoka, Japan.
2022
PC: IWCT22
2021
PC: IWCT21
2020
PC: IWCT20
2019
PC: IWCT19, TAIC PART19, VALID19, FTSCS19