| 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 | 54 | 2015 |
| 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 | 49 | 2016 |
| 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 | 36 | 2017 |
| 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 | 30 | 2012 |
| 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 | 16 | 2015 |
| 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 | 15 | 2018 |
| 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 | 14 | 2015 |
| 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 | 12 | 2015 |
| 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 | 12 | 2012 |
| 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 | 11 | 2018 |
| 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 | 11 | 2016 |
| 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 | 10 | 2013 |
| 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 | 9 | 2012 |
| 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 | 8 | 2014 |
| Distance-integrated combinatorial testing EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada 2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016 | 7 | 2016 |
| 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 | 5 | 2016 |
| Coverage-guided fairness testing D Perez Morales, T Kitamura, S Takada Computer and Information Science 2021—Summer, 183-199, 2021 | 4 | 2021 |
| 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 | 4 | 2019 |
| 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 | 3 | 2020 |
| 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 | 3 | 2013 |
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
