Takashi Kitamura

Statistics

Publications

Citations

214

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 formal verification, computer science, and engineering.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSoftware TestingSoftware AnalysisProgram AnalysisComputer EngineeringSystems Engineering

Publications per year

2012–2019

Publications

Optimization of Combinatorial Testing by Incremental SAT Solving

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

Engineering, Verification, Test Data Generation +21

Greedy combinatorial test case generation using unsatisfiable cores

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

Model-Based API Testing of Apache ZooKeeper

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

Software Maintenance, Engineering, Verification +17

Formal Model-Based Test for AUTOSAR Multicore RTOS

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

Software Maintenance, Engineering, Test Data Generation +21

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study

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

Engineering, Fault Detection Effectiveness, Verification +29

1–5 of 10