Takashi Kitamura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
2007–2026
Best venue rank
A
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Individual Fairness Testing in Fairness through Unawareness. | Taisei Kuma, Takashi Kitamura, Shingo Takada |
| 2025 | ESEM | Is Diversity a Meaningful Metric in Fairness Testing? | Kazuki Funamoto, Takashi Kitamura, Shingo Takada |
| 2022 | SEKE | An efficient discrimination discovery method for fairness testing. | Shinya Sano, Takashi Kitamura, Shingo Takada |
| 2022 | SSBSE | Applying Combinatorial Testing to Verification-Based Fairness Testing. | Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda |
| 2022 | SSBSE | Efficient Fairness Testing Through Hash-Based Sampling. | Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura |
| 2020 | ICST | Toward an Encoding Approach to Interaction-based Test Suite Minimization. | Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho |
| 2019 | APSEC | A Prioritization Method for SPL Pairwise Testing Based on User Profiles. | Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi |
| 2018 | ICST | A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. | Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya |
| 2018 | SAFECOMP | Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. | Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini |
| 2017 | ICST | 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 |
| 2017 | ICST | Message from the TAIC PART 2017 Chairs. | Takashi Kitamura, Emil Algroth, Rudolf Ramler |
| 2017 | ICST | Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. | Takashi Kitamura, Emil Algroth, Rudolf Ramler |
| 2017 | SAFECOMP | Classification Tree Method with Parameter Shielding. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
| 2016 | ICST | Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. | Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov |
| 2016 | ISSRE | Distance-Integrated Combinatorial Testing. | Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada |
| 2016 | QRS | Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. | Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura |
| 2015 | COMPSAC | Priority Integration for Weighted Combinatorial Testing. | Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa |
| 2015 | ICST | Optimization of Combinatorial Testing by Incremental SAT Solving. | Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | QRS | 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 |
| 2012 | ICST | Formal Model-Based Test for AUTOSAR Multicore RTOS. | Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
| 2012 | ISoLA | Test-Case Design by Feature Trees. | Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe |
| 2010 | PRDC | Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. | Takashi Kitamura, Keishi Okamoto, Makoto Takeyama |
| 2008 | TASE | Specifying Properties for Modular Pi-Calculus. | Takashi Kitamura, Huimin Lin |
| 2007 | ICTAC | Controlling Process Modularity in Mobile Computing. | Takashi Kitamura, Huimin Lin |