Follow
Takashi Kitamura
Takashi Kitamura
Verified email at aist.go.jp - Homepage
Title
Cited by
Cited by
Year
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
542015
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
492016
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
362017
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
302012
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
162015
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
152018
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
142015
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
122015
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
122012
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
112018
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
112016
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 4th Symposium on Information and Communication Technology …, 2013
102013
Test-case design by feature trees
T Kitamura, NTB Do, H Ohsaki, L Fang, S Yatabe
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
92012
Design of Prioritized N-Wise Testing
EH Choi, T Kitamura, C Artho, Y Oiwa
Testing Software and Systems: 26th IFIP WG 6.1 International Conference …, 2014
82014
Distance-integrated combinatorial testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016
72016
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
52016
Coverage-guided fairness testing
D Perez Morales, T Kitamura, S Takada
Computer and Information Science 2021—Summer, 183-199, 2021
42021
A prioritization method for spl pairwise testing based on user profiles
H Akimoto, Y Isogami, T Kitamura, N Noda, T Kishi
2019 26th Asia-Pacific Software Engineering Conference (APSEC), 118-125, 2019
42019
A comparative study on combinatorial and random testing for highly configurable systems
H Jin, T Kitamura, EH Choi, T Tsuchiya
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference …, 2020
32020
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
The system can't perform the operation now. Try again later.
Articles 1–20