Takashi Kitamura

Statistics

Publications

Citations

217

H-Index

Active since

2012

Affiliations

National Institute of Advanced Industrial Science and Technology(Current)

Vietnam Posts and Telecommunications Group (Vietnam)

Universität Innsbruck

Omron (Japan)

Takashi Kitamura is an author at National Institute of Advanced Industrial Science and Technology specializing in computing, computer science, and software testing.

ORCID

Publications per year

2012–2019

Publications

Optimization of Combinatorial Testing by Incremental SAT Solving

Akihisa Yamada, Takashi Kitamura, Cyrille Artho et al. · 2015 · 53 citations · Full text

Computing, Computer Science, Algorithms +12

Greedy combinatorial test case generation using unsatisfiable cores

Akihisa Yamada, Armin Biere, Cyrille Artho et al. · 2016 · 41 citations · Full text

Computing, Computer Science, Algorithms +9

Model-Based API Testing of Apache ZooKeeper

Cyrille Artho, Quentin Gros, Guillaume Rousset et al. · 2017 · 29 citations

Computing, Computer Science, Computer Systems +17

Formal Model-Based Test for AUTOSAR Multicore RTOS

Ling Fang, Takashi Kitamura, Thi Bich Ngoc et al. · 2012 · 22 citations

Computing, Computer Science, Computer Systems +16

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study

Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno et al. · 2016 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +9

1–5 of 10