| 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 | 47 | 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 | 41 | 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 | 33 | 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 | 14 | 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 | 13 | 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 | 12 | 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 |
| 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 |
| 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 | 11 | 2012 |
| 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 | 9 | 2013 |
| 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 | 9 | 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 | 8 | 2018 |
| 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 |
| 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 | 6 | 2014 |
| 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 |
| 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 | 3 | 2019 |
| 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 |
| 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 | 2 | 2020 |
| Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers C Artho, K Banzai, Q Gros, G Rousset, L Ma, T Kitamura, M Hagiya, ... Software Testing, Verification and Reliability 30 (7-8), e1720, 2020 | 2 | 2020 |
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
