Takashi Kitamura

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Topics

Test Case Generation

Bootstrap Sampling

Software Testing

Top Venues

Publications

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. Inf. Softw. Technol. 167 (2024)
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda
Applying Combinatorial Testing to Verification-Based Fairness Testing. SSBSE (2022)
Shinya Sano, Takashi Kitamura, Shingo Takada
An efficient discrimination discovery method for fairness testing. SEKE (2022)
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
Efficient Fairness Testing Through Hash-Based Sampling. SSBSE (2022)
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)
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
Toward an Encoding Approach to Interaction-based Test Suite Minimization. ICST Workshops (2020)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS (2020)
Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi
A Prioritization Method for SPL Pairwise Testing Based on User Profiles. APSEC (2019)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops (2018)
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP (2018)
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)
Takashi Kitamura, Emil Alégroth, Rudolf Ramler
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. ICST Workshops (2017)
Takashi Kitamura, Emil Alégroth, Rudolf Ramler
Message from the TAIC PART 2017 Chairs. ICST Workshops (2017)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
Classification Tree Method with Parameter Shielding. SAFECOMP (2017)
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
Greedy combinatorial test case generation using unsatisfiable cores. ASE (2016)
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
Distance-Integrated Combinatorial Testing. ISSRE (2016)
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. QRS (2016)
Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops (2016)
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST (2015)
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)
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)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
Priority Integration for Weighted Combinatorial Testing. COMPSAC (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
Design of Prioritized N-Wise Testing. ICTSS (2014)
Takashi Kitamura, Keishi Okamoto
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. IEICE Trans. Inf. Syst. (12) (2013)
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)
Takashi Kitamura, Keishi Okamoto
Automated Route Planning for Milk-run Transport Logistics Using Model Checking. ICNC (2012)
Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki
Formal Model-Based Test for AUTOSAR Multicore RTOS. ICST (2012)
Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe
Test-Case Design by Feature Trees. ISoLA (1) (2012)
Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC (2010)
Takashi Kitamura, Huimin Lin
Specifying Properties for Modular Pi-Calculus. TASE (2008)
Takashi Kitamura, Huimin Lin
Controlling Process Modularity in Mobile Computing. ICTAC (2007)