| 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 | 35 | 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 | 30 | 2016 |
| 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 | 25 | 2012 |
| 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 | 24 | 2017 |
| 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 |
| 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 | 11 | 2018 |
| 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 | 11 | 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 | 10 | 2016 |
| 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 | 10 | 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 | 10 | 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 | 8 | 2012 |
| Distance-integrated combinatorial testing EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada 2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016 | 6 | 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 |
| 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 | 4 | 2018 |
| 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 | 4 | 2014 |
| 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 |
| 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 | 2 | 2017 |
| Industry-academia collaboration in software testing: An overview of taic part 2017 T Kitamura, E Alégroth, R Ramler 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 1 | 2017 |
| Specifying Properties for Modular Pi-Calculus T Kitamura, H Lin 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008 | 1 | 2008 |
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
