Takashi Kitamura

35 papers A* 4A 5B 5C 8Misc 2Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A conf
Is Diversity a Meaningful Metric in Fairness Testing?
ESEM
Kazuki Funamoto, Takashi Kitamura, Shingo Takada
2025 J jnl
Quantitative Verification of Fairness in Tree Ensembles.
CoRR
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 A* conf
Approximation-guided Fairness Testing through Discriminatory Space Analysis.
ASE
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 J jnl
Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling.
Inf. Softw. Technol.
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 A* conf
Toward Individual Fairness Testing with Data Validity.
ASE
Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda
2022 C conf
An efficient discrimination discovery method for fairness testing.
SEKE
Shinya Sano, Takashi Kitamura, Shingo Takada
2022 B conf
Applying Combinatorial Testing to Verification-Based Fairness Testing.
SSBSE
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda
2022 B conf
Efficient Fairness Testing Through Hash-Based Sampling.
SSBSE
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2020 C conf
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems.
ICTSS
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
2020 J jnl
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Softw. Test. Verification Reliab.
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2020 — conf
Toward an Encoding Approach to Interaction-based Test Suite Minimization.
ICST Workshops
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
2019 C conf
A Prioritization Method for SPL Pairwise Testing Based on User Profiles.
APSEC
Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi
2018 — conf
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays.
ICST Workshops
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
2018 B conf
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
SAFECOMP
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
2017 B conf
Classification Tree Method with Parameter Shielding.
SAFECOMP
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
2017 — conf
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017.
ICST Workshops
Takashi Kitamura, Emil Alégroth, Rudolf Ramler
2017 — conf
Message from the TAIC PART 2017 Chairs.
ICST Workshops
Takashi Kitamura, Emil Alégroth, Rudolf Ramler
2017 A conf
Model-Based API Testing of Apache ZooKeeper.
ICST
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2016 A conf
Distance-Integrated Combinatorial Testing.
ISSRE
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
2016 A* conf
Greedy combinatorial test case generation using unsatisfiable cores.
ASE
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
2016 — conf
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016.
ICST Workshops
Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov
2016 C conf
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.
QRS
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
2015 C conf
Combinatorial Testing for Tree-Structured Test Models with Constraints.
QRS
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
2015 A* conf
Model-Based Testing of Stateful APIs with Modbat.
ASE
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2015 A conf
Optimization of Combinatorial Testing by Incremental SAT Solving.
ICST
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
2015 B conf
Priority Integration for Weighted Combinatorial Testing.
COMPSAC
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
2014 C conf
Design of Prioritized N-Wise Testing.
ICTSS
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
2013 J jnl
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker.
IEICE Trans. Inf. Syst.
Takashi Kitamura, Keishi Okamoto
2013 — conf
Constructing test cases for n-wise testing from tree-based test models.
SoICT
Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki
2012 Misc conf
Automated Route Planning for Milk-run Transport Logistics Using Model Checking.
ICNC
Takashi Kitamura, Keishi Okamoto
2012 A conf
Formal Model-Based Test for AUTOSAR Multicore RTOS.
ICST
Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki
2012 — conf
Test-Case Design by Feature Trees.
ISoLA (1)
Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe
2010 C conf
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.
PRDC
Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
2008 Misc conf
Specifying Properties for Modular Pi-Calculus.
TASE
Takashi Kitamura, Huimin Lin
2007 C conf
Controlling Process Modularity in Mobile Computing.
ICTAC
Takashi Kitamura, Huimin Lin