| 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 | 66 | 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 | 63 | 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 | 40 | 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 | 37 | 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 | 19 | 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 | 16 | 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 | 15 | 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 | 15 | 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 | 15 | 2012 |
| Coverage-guided fairness testing D Perez Morales, T Kitamura, S Takada International Conference on Intelligence Science, 183-199, 2021 | 13 | 2021 |
| 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 | 12 | 2018 |
| 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 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 | 10 | 2019 |
| 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 |
| 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 | 9 | 2014 |
| 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 |
| An efficient discrimination discovery method for fairness testing. S Sano, T Kitamura, S Takada SEKE, 200-205, 2022 | 8 | 2022 |
| 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 |
| Efficient fairness testing through hash-based sampling Z Zhao, T Toda, T Kitamura International Symposium on Search Based Software Engineering, 35-50, 2022 | 6 | 2022 |
| Applying combinatorial testing to verification-based fairness testing T Kitamura, Z Zhao, T Toda International Symposium on Search Based Software Engineering, 101-107, 2022 | 5 | 2022 |
Cyrille ArthoKTH Royal Institute of Technology, Swedenכתובת אימייל מאומתת בדומיין kth.se
