Takashi Kitamura

According to our database, Takashi Kitamura authored at least 31 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling.

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura

Inf. Softw. Technol., March, 2024

2022

Efficient Fairness Testing Through Hash-Based Sampling.

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

Applying Combinatorial Testing to Verification-Based Fairness Testing.

Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

An efficient discrimination discovery method for fairness testing.

Shinya Sano, Takashi Kitamura, Shingo Takada

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Softw. Test. Verification Reliab., 2020

A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems.

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya

Proceedings of the Testing Software and Systems, 2020

Toward an Encoding Approach to Interaction-based Test Suite Minimization.

Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

A Prioritization Method for SPL Pairwise Testing Based on User Profiles.

Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.

Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini

Proceedings of the Computer Safety, Reliability, and Security, 2018

A Satisfiability-Based Approach to Generation of Constrained Locating Arrays.

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Classification Tree Method with Parameter Shielding.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho

Proceedings of the Computer Safety, Reliability, and Security, 2017

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017.

Takashi Kitamura, Emil Alégroth, Rudolf Ramler

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Message from the TAIC PART 2017 Chairs.

Takashi Kitamura, Emil Alégroth, Rudolf Ramler

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Model-Based API Testing of Apache ZooKeeper.

Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.

Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Greedy combinatorial test case generation using unsatisfiable cores.

Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Distance-Integrated Combinatorial Testing.

Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016.

Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Model-Based Testing of Stateful APIs with Modbat.

Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Priority Integration for Weighted Combinatorial Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Design of Prioritized N-Wise Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa

Proceedings of the Testing Software and Systems, 2014

2013

Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker.

Takashi Kitamura, Keishi Okamoto

IEICE Trans. Inf. Syst., 2013

Constructing test cases for n-wise testing from tree-based test models.

Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki

Proceedings of the 4th International Symposium on Information and Communication Technology, 2013

2012

Test-Case Design by Feature Trees.

Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Formal Model-Based Test for AUTOSAR Multicore RTOS.

Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Automated Route Planning for Milk-run Transport Logistics Using Model Checking.

Takashi Kitamura, Keishi Okamoto

Proceedings of the Third International Conference on Networking and Computing, 2012

2010

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.

Takashi Kitamura, Keishi Okamoto, Makoto Takeyama

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2008

Specifying Properties for Modular Pi-Calculus.

Takashi Kitamura, Huimin Lin

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Controlling Process Modularity in Mobile Computing.

Takashi Kitamura, Huimin Lin

Proceedings of the Theoretical Aspects of Computing, 2007