Controlling Process Modularity in Mobile Computing. - Takashi Kitamura 001; Huimin Lin (ICTAC, 2007)

Specifying Properties for Modular Pi-Calculus. - Takashi Kitamura 001; Huimin Lin (TASE, 2008)

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. - Takashi Kitamura 001; Keishi Okamoto; Makoto Takeyama (PRDC, 2010)

Automated Route Planning for Milk-run Transport Logistics Using Model Checking. - Takashi Kitamura 001; Keishi Okamoto (ICNC, 2012)

Formal Model-Based Test for AUTOSAR Multicore RTOS. - Ling Fang; Takashi Kitamura 001; Thi Bich Ngoc Do; Hitoshi Ohsaki (ICST, 2012)

Test-Case Design by Feature Trees. - Takashi Kitamura 001; Thi Bich Ngoc Do; Hitoshi Ohsaki; Ling Fang; Shunsuke Yatabe (ISoLA (1), 2012)

Constructing test cases for n-wise testing from tree-based test models. - Thi Bich Ngoc Do; Takashi Kitamura 001; Nguyen Van Tang; Goro Hatayama; Shinya Sakuragi; Hitoshi Ohsaki (SoICT, 2013)

Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. - Takashi Kitamura 001; Keishi Okamoto (IEICE Trans. Inf. Syst., 2013)

Design of Prioritized N-Wise Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Yutaka Oiwa (ICTSS, 2014)

Priority Integration for Weighted Combinatorial Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Akihisa Yamada 002; Yutaka Oiwa (COMPSAC, 2015)

Optimization of Combinatorial Testing by Incremental SAT Solving. - Akihisa Yamada 002; Takashi Kitamura 001; Cyrille Artho; Eun-Hye Choi; Yutaka Oiwa; Armin Biere (ICST, 2015)

Model-Based Testing of Stateful APIs with Modbat. - Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura 001; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata (ASE, 2015)

Combinatorial Testing for Tree-Structured Test Models with Constraints. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Cyrille Artho; Eun-Hye Choi; Thi Bich Ngoc Do; Yutaka Oiwa; Shinya Sakuragi (QRS, 2015)

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. - Rudolf Ramler; Michael Felderer; Takashi Kitamura 001; Darko Marinov (ICST Workshops, 2016)

Distance-Integrated Combinatorial Testing. - Eun-Hye Choi; Cyrille Artho; Takashi Kitamura 001; Osamu Mizuno; Akihisa Yamada 002 (ISSRE, 2016)

Greedy combinatorial test case generation using unsatisfiable cores. - Akihisa Yamada 002; Armin Biere; Cyrille Artho; Takashi Kitamura 001; Eun-Hye Choi (ASE, 2016)

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. - Eun-Hye Choi; Shunya Kawabata; Osamu Mizuno; Cyrille Artho; Takashi Kitamura 001 (QRS, 2016)

Model-Based API Testing of Apache ZooKeeper. - Cyrille Artho; Quentin Gros; Guillaume Rousset; Kazuaki Banzai; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICST, 2017)

Message from the TAIC PART 2017 Chairs. - Takashi Kitamura 001; Emil Alégroth; Rudolf Ramler (ICST Workshops, 2017)

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. - Takashi Kitamura 001; Emil Alégroth; Rudolf Ramler (ICST Workshops, 2017)

Classification Tree Method with Parameter Shielding. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Shinya Sakuragi; Eun-Hye Choi; Cyrille Artho (SAFECOMP, 2017)

A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. - Hao Jin; Takashi Kitamura 001; Eun-Hye Choi; Tatsuhiro Tsuchiya (ICST Workshops, 2018)

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. - Takashi Kitamura 001; Quentin Maissonneuve; Eun-Hye Choi; Cyrille Artho; Angelo Gargantini (SAFECOMP, 2018)

A Prioritization Method for SPL Pairwise Testing Based on User Profiles. - Hirofumi Akimoto; Yuto Isogami; Takashi Kitamura 001; Natsuko Noda; Tomoji Kishi (APSEC, 2019)

Toward an Encoding Approach to Interaction-based Test Suite Minimization. - Kohei Nishino; Takashi Kitamura 001; Tomoji Kishi; Cyrille Artho (ICST Workshops, 2020)

A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. - Hao Jin; Takashi Kitamura 001; Eun-Hye Choi; Tatsuhiro Tsuchiya (ICTSS, 2020)

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. - Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (Softw. Test. Verification Reliab., 2020)

An efficient discrimination discovery method for fairness testing. - Shinya Sano; Takashi Kitamura 001; Shingo Takada 001 (SEKE, 2022)

Applying Combinatorial Testing to Verification-Based Fairness Testing. - Takashi Kitamura 001; Zhenjiang Zhao 002; Takahisa Toda (SSBSE, 2022)

Efficient Fairness Testing Through Hash-Based Sampling. - Zhenjiang Zhao 002; Takahisa Toda; Takashi Kitamura 001 (SSBSE, 2022)

Toward Individual Fairness Testing with Data Validity. - Takashi Kitamura 001; Sousuke Amasaki; Jun Inoue 001; Yoshinao Isobe; Takahisa Toda (ASE, 2024)

Approximation-guided Fairness Testing through Discriminatory Space Analysis. - Zhenjiang Zhao 002; Takahisa Toda; Takashi Kitamura 001 (ASE, 2024)

Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. - Zhenjiang Zhao 002; Takahisa Toda; Takashi Kitamura 001 (Inf. Softw. Technol., 2024)