Takashi Kitamura
Takashi Kitamura
Verified email at aist.go.jp - Homepage
TitleCited byYear
Optimization of combinatorial testing by incremental SAT solving
A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
292015
Formal model-based test for AUTOSAR multicore RTOS
L Fang, T Kitamura, TBN Do, H Ohsaki
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
232012
Greedy combinatorial test case generation using unsatisfiable cores
A Yamada, A Biere, C Artho, T Kitamura, EH Choi
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
222016
Model-based API testing of apache zookeeper
C Artho, Q Gros, G Rousset, K Banzai, L Ma, T Kitamura, M Hagiya, ...
2017 IEEE International Conference on Software Testing, Verification and …, 2017
172017
Priority integration for weighted combinatorial testing
EH Choi, T Kitamura, C Artho, A Yamada, Y Oiwa
2015 IEEE 39th Annual Computer Software and Applications Conference 2, 242-247, 2015
112015
Automated route planning for milk-run transport logistics using model checking
T Kitamura, K Okamoto
2012 Third International Conference on Networking and Computing, 240-246, 2012
102012
A satisfiability-based approach to generation of constrained locating arrays
H Jin, T Kitamura, EH Choi, T Tsuchiya
2018 IEEE International Conference on Software Testing, Verification and …, 2018
82018
Test effectiveness evaluation of prioritized combinatorial testing: A case study
EH Choi, S Kawabata, O Mizuno, C Artho, T Kitamura
2016 IEEE International Conference on Software Quality, Reliability and …, 2016
82016
Combinatorial testing for tree-structured test models with constraints
T Kitamura, A Yamada, G Hatayama, C Artho, EH Choi, NTB Do, Y Oiwa, ...
2015 IEEE International Conference on Software Quality, Reliability and …, 2015
82015
Model-based testing of stateful APIs with Modbat
C Artho, M Seidl, Q Gros, EH Choi, T Kitamura, A Mori, R Ramler, ...
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
72015
Constructing test cases for N-wise testing from tree-based test models
TBN Do, T Kitamura, VT Nguyen, G Hatayama, S Sakuragi, H Ohsaki
Proceedings of the Fourth Symposium on Information and Communication …, 2013
72013
Test-case design by feature trees
T Kitamura, NTB Do, H Ohsaki, L Fang, S Yatabe
International Symposium On Leveraging Applications of Formal Methods …, 2012
72012
Distance-integrated combinatorial testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016
62016
Industry-academia collaboration in software testing: An overview of taic part 2016
R Ramler, M Felderer, T Kitamura, D Marinov
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
32016
Design of prioritized N-wise testing
EH Choi, T Kitamura, C Artho, Y Oiwa
IFIP International Conference on Testing Software and Systems, 186-191, 2014
32014
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
T Kitamura, K Okamoto
IEICE TRANSACTIONS on Information and Systems 96 (12), 2555-2564, 2013
32013
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
T Kitamura, Q Maissonneuve, EH Choi, C Artho, A Gargantini
International Conference on Computer Safety, Reliability, and Security …, 2018
12018
Classification tree method with parameter shielding
T Kitamura, A Yamada, G Hatayama, S Sakuragi, EH Choi, C Artho
International Conference on Computer Safety, Reliability, and Security, 230-241, 2017
12017
Specifying Properties for Modular Pi-Calculus
T Kitamura, H Lin
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
12008
Controlling process modularity in mobile computing
T Kitamura, H Lin
International Colloquium on Theoretical Aspects of Computing, 246-259, 2007
12007
The system can't perform the operation now. Try again later.
Articles 1–20