Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Takashi Kitamura 0001

> Home > Persons

Person information

affiliation: National Institute of Advanced Industrial Science and Technology (AIST), Ikeda, Japan

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ZhaoTK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ZhaoTK24
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura:
Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. Inf. Softw. Technol. 167: 107390 (2024)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArthoBGRMKHTY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArthoBGRMKHTY20
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)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KitamuraO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KitamuraO13
Takashi Kitamura, Keishi Okamoto:
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. IEICE Trans. Inf. Syst. 96-D(12): 2555-2564 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/SanoKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SanoKT22
Shinya Sano, Takashi Kitamura, Shingo Takada:
An efficient discrimination discovery method for fairness testing. SEKE 2022: 200-205
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/ZhaoTK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/ZhaoTK22
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura:
Efficient Fairness Testing Through Hash-Based Sampling. SSBSE 2022: 35-50
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/KitamuraZT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/KitamuraZT22
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda:
Applying Combinatorial Testing to Verification-Based Fairness Testing. SSBSE 2022: 101-107
2020
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/NishinoKKA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/NishinoKKA20
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho:
Toward an Encoding Approach to Interaction-based Test Suite Minimization. ICST Workshops 2020: 211-212
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/JinKCT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/JinKCT20
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya:
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS 2020: 302-309
2019
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/AkimotoIKNK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/AkimotoIKNK19
Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi:
A Prioritization Method for SPL Pairwise Testing Based on User Profiles. APSEC 2019: 118-125
2018
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/JinKCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/JinKCT18
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya:
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops 2018: 285-294
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KitamuraMCAG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KitamuraMCAG18
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: 123-138
2017
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KitamuraAR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KitamuraAR17
Takashi Kitamura, Emil Alégroth, Rudolf Ramler:
Message from the TAIC PART 2017 Chairs. ICST Workshops 2017: 1-2
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KitamuraAR17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KitamuraAR17a
Takashi Kitamura, Emil Alégroth, Rudolf Ramler:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. ICST Workshops 2017: 42-43
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArthoGRBMKHTY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArthoGRBMKHTY17
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: 288-298
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KitamuraYHSCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KitamuraYHSCA17
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho:
Classification Tree Method with Parameter Shielding. SAFECOMP 2017: 230-241
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/RamlerFKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/RamlerFKM16
Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops 2016: 238-239
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ChoiAKM016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ChoiAKM016
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada:
Distance-Integrated Combinatorial Testing. ISSRE 2016: 93-104
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0002BAKC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0002BAKC16
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi:
Greedy combinatorial test case generation using unsatisfiable cores. ASE 2016: 614-624
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ChoiKMAK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ChoiKMAK16
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura:
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. QRS 2016: 61-68
2015
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChoiKA0O15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChoiKA0O15
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa:
Priority Integration for Weighted Combinatorial Testing. COMPSAC 2015: 242-247
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/YamadaKACOB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/YamadaKACOB15
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere:
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST 2015: 1-10
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ArthoSGCKMRY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ArthoSGCKMRY15
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: 858-863
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/Kitamura0HACDOS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/Kitamura0HACDOS15
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: 141-150
2014
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/ChoiKAO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ChoiKAO14
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa:
Design of Prioritized N-Wise Testing. ICTSS 2014: 186-191
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/soict/DoKTHSO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soict/DoKTHSO13
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: 275-284
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ic-nc/KitamuraO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic-nc/KitamuraO12
Takashi Kitamura, Keishi Okamoto:
Automated Route Planning for Milk-run Transport Logistics Using Model Checking. ICNC 2012: 240-246
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/FangKDO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/FangKDO12
Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki:
Formal Model-Based Test for AUTOSAR Multicore RTOS. ICST 2012: 251-259
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KitamuraDOFY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KitamuraDOFY12
Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe:
Test-Case Design by Feature Trees. ISoLA (1) 2012: 458-473
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KitamuraOT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KitamuraOT10
Takashi Kitamura, Keishi Okamoto, Makoto Takeyama:
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC 2010: 251-252
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/KitamuraL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/KitamuraL08
Takashi Kitamura, Huimin Lin:
Specifying Properties for Modular Pi-Calculus. TASE 2008: 201-208
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KitamuraL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KitamuraL07
Takashi Kitamura, Huimin Lin:
Controlling Process Modularity in Mobile Computing. ICTAC 2007: 246-259

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.