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
612015
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
572016
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
392017
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
352012
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
162018
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
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
152015
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
122016
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
Coverage-guided fairness testing
D Perez Morales, T Kitamura, S Takada
International Conference on Intelligence Science, 183-199, 2021
102021
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
102018
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
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
92014
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
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
72019
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
An efficient discrimination discovery method for fairness testing.
S Sano, T Kitamura, S Takada
SEKE, 200-205, 2022
62022
Efficient fairness testing through hash-based sampling
Z Zhao, T Toda, T Kitamura
International Symposium on Search Based Software Engineering, 35-50, 2022
52022
A comparative study on combinatorial and random testing for highly configurable systems
H Jin, T Kitamura, EH Choi, T Tsuchiya
IFIP International Conference on Testing Software and Systems, 302-309, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20