HTTP/1.1 301 Moved Permanently Date: Fri, 16 Jan 2026 11:44:35 GMT Server: Apache X-FRAME-OPTIONS: SAMEORIGIN Location: https://staff.aist.go.jp/t.kitamura/ Content-Length: 244 Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Fri, 16 Jan 2026 11:44:35 GMT Server: Apache X-FRAME-OPTIONS: SAMEORIGIN Last-Modified: Wed, 18 Sep 2024 07:08:44 GMT Accept-Ranges: bytes Content-Length: 16243 X-XSS-Protection: 1; mode=block X-Content-Type-Options: nosniff Pragma: no-cache,no-store,must-revalidate Cache-Control: must-revalidate Content-Type: text/html Takashi KITAMURA (Dr. Eng.)

Senior Researcher
National Institute of Advanced Industrial Science and Technology (AIST)
t.kitamura@aist.go.jp

ORCID Google Scholar Researchmap DBLP

---

Research interests:

• Software Testing
• Formal Methods
• Requirements Engineering
• Algorithm Fairness
• Software Engineering

---

Publications (selected): (see also DBLP Google Scholar Researchmap ORCID )

18. Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini, "Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.". in Proceedings of 37th International Conference of Computer Safety, Reliability, and Security (SAFECOMP 2018), pp. 123-138, Västerås, Sweden, September 19-21, 2018, Lecture Notes in Computer Science (LNCS) 11093, Springer 2018, ISBN 978-3-319-99129-0 [preprint]
17. Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays" IWCT 2018: 285-294
16. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho, "Classification Tree Method with Parameter Shielding". in Proceedings of 36th International Conference of Computer Safety, Reliability, and Security (SAFECOMP 2017), pp. 230-241, Trento, Italy, September 13-15, 2017, Lecture Notes in Computer Science (LNCS) 10488, Springer 2017, ISBN 978-3-319-66265-7 [preprint]
15. 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", in Proceedings of the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST2017), pp 288-298, IEEE CPS
14. Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi, "Greedy combinatorial test case generation using unsatisfiable cores", in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (ASE 2016), pp. 614-624, 2016. [Benchmark:Compnay_B]
13. Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada: "Distance-Integrated Combinatorial Testing" in Proceedings of 27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), 93-104 Ottawa, Canada, October 23-27, 2016. IEEE Computer Society 2016, ISBN 978-1-4673-9002-6
12. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Thi Bich Do, Yutaka Oiwa, Shinya Sakuragi, "Combinatorial Testing for Tree-structured Test Models with Constraints", in Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS2015), pp. 141-150 IEEE CPS, 2015. Best Paper Award [preprint]
11. Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing", in Proceedings of he 39th Annual International Computers, Software and Applications Conference (COMPSAC2015), IEEE CPS, pp. 242-247, 2015 [preprint]
10. Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", in Proceedings of the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), IEEE CPS, pp. 1-10, 2015 [preprint]
9. Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, and Yutaka Oiwa, "Design of Prioritized N-Wise Testing", in Proceedings of The 26th IFIP International Conference on Testing Software and Systems (ICTSS2014), Lecture Notes in Computer Science (LNCS), volume 8763, page. 186-191, Springer, Madrid, 2014. [preprint]
8. Do Thi Bich Ngoc, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi and Hitoshi Ohsaki, "Constructing Test Cases for N-wise Testing from Tree-based Test Models", in Proceedings of 4th International Symposium on Information and Communication Technology (SoICT2013), page. 275-284, ACM ICPS, ISBN:978-1-4503-2454-0, Danang, Vietnam, 2013. [preprint]
7. Takashi Kitamura and Keishi Okamoto, "Automated route planning for milk-run transport logistics with the NuSMV model checker", IEICE Transactions Vol. E96-D, No.12, page. 2555-2564, Dec. 2013. [preprint]
6. Takashi Kitamura and Keishi Okamoto, "Automated route planning for milk-run transport logistics using model checking", in Proceedings of 3rd International Conference on Networking and Computing (ICNC2012), page. 240-246, IEEE Computer Society Press, Okinawa, Japan, 2012, [preprint]
5. Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Fang Ling, Shunsuke Yatabe "Test-Case Design by Feature Trees", in Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2012), Lecture Notes in Computer Science (LNCS), volume 7609, page. 458-473, Springer, 15-18 October 2012, Crete, 2012, [preprint]
4. Takashi Kitamura, Keishi Okamoto, Makoto Takeyama, "Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications", in Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), page. 251-252, IEEE Computer Society Press, Tokyo Japan, Dec 13-15, 2010
3. Takashi Kitamura and Huimin Lin, "Specifying properties for Modular Pi-calculus", in Proceedings of 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'08), Nanjing China, June 17-19 2008
2. Takashi Kitamura and Huimin Lin, "Controlling process modularity in mobile computing", in Proceedings of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Lecture Notes in Computer Science (LNCS), vol 1686, pp 246-259, Springer, September 2007
1. Takashi Kitamura and Atsushi Togashi. "Relating Processes with Real-time Property'', in Proceedings of Annual International Conference on Computer and Information Science (ICIS '02), Seoul, Korea, 2002

Publications in Japanese:

1. Akihisa Yamada and Takashi Kitamura, "Towards Developing the Combinatorial Testing Tool Calot" [preprint]

Grant projects:

• 2017.04-2020.03: Principle Investigator, Kaken (Wakate-B), \4,030K "Combinatorial testing in continuous development"
• 2013.12-2016.11: Principle Investigator, JST A-STEP (High-risk challenge), \59,561K "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 extentions"

Employment:

• 2016.10-present: Senior researcher, AIST
• 2012.4-2016.9: Researcher, AIST
• 2008.9-2012.3: Post-doctoral researcher, AIST

Education:

• 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.

Academic activities (International):

2019
• Program committee, 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019)
• Program committee, 7th International Workshop on Combinatorial Testing (IWCT 2019)
• Program committee, The 13th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2019)
• Program committee, IARIA The 10th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2019)

2018
• Program committee, 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018)
• Program committee, IARIA The 10th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2018)
• Program committee, IEEE International Workshop on Combinatorial Testing and its Applications (CTA 2018)
• Program committee, 7th International Workshop on Combinatorial Testing (IWCT 2018)
• Program committee, The 42th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2018)
• Program committee, The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)
• Program chair, The 13th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2018)

2017
• Program committee, IARIA The Ninth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2017)
• Program committee, IEEE International Workshop on Combinatorial Testing and its Applications (CTA 2017)
• Program committee, 6th International Workshop on Combinatorial Testing (IWCT 2017)
• Program committee, The 41th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)
• Program committee, The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)
• General chair, The 12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2017)

2016
• Program committee, 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016)
• Program chair, The 11th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2016)
• Program committee, The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016)
• Program committee, 1st International Workshop on Validating Software Tests (VST 2016)

2015
• Program committee, The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)
• Program committee, 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)

2014-2012
• Program committee, 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014)
• Program committee, 1st International Workshop on Argument for Agreement and Assurance (AAA 2013)
• Program committee, 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)
• Publicity co-chair, 14th International Conference on Formal Engineering Methods (ICFEM 2012)
• Program committee, 1st International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012)
• External reviewer, 15th IEEE International Symposium on High Assurance Systems Engineering. (HASE 2014)
• External reviewer, 15th International Conference on Formal Engineering Methods (ICFEM 2013)
• External reviewer, 10th International Conference on integrated Formal Methods (iFM 2013)
• External reviewer, 14th International Conference on Formal Engineering Methods (ICFEM 2012)

Academic activities (Domestic):

• 幹事, 2015.4 -- 2019.3, 情報処理学会組込みシステム研究会
• 編集委員, 2015--現在 Journal of Information Processing (JIP), Special issue of "Embedded Systems Engineering"
• プログラム委員, 2011-2016 Embedded System Symposium

Awards:

• IPSJ Yamashita SIG Research Award, 2011
• Best Paper Award of QRS2015, 2015