Guidelines for quality assurance of machine learning-based artificial intelligence G Fujii, K Hamada, F Ishikawa, S Masuda, M Matsuya, T Myojin, Y Nishi, ... International journal of software engineering and knowledge engineering 30 …, 2020 | 59 | 2020 |
MuVM: Higher order mutation analysis virtual machine for C S Tokumoto, H Yoshida, K Sakamoto, S Honiden 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 27 | 2016 |
Neurecover: Regression-controlled repair of deep neural networks with training history S Tokui, S Tokumoto, A Yoshii, F Ishikawa, T Nakagawa, K Munakata, ... 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 25 | 2022 |
FSX: Fine-grained incremental unit test generation for C/C++ programs H Yoshida, S Tokumoto, MR Prasad, I Ghosh, T Uehara Proceedings of the 25th international symposium on software testing and …, 2016 | 24 | 2016 |
KLOVER: automatic test generation for C and C++ programs, using symbolic execution H Yoshida, G Li, T Kamiya, I Ghosh, S Rajan, S Tokumoto, K Munakata, ... IEEE Software 34 (5), 30-37, 2017 | 21 | 2017 |
Tackling uncertainty in safety assurance for machine learning: continuous argument engineering with attributed tests Y Matsuno, F Ishikawa, S Tokumoto Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019 | 12 | 2019 |
Massive event data analysis and processing service development environment using dfd Y Nomura, K Kimura, H Kurihara, R Yamamoto, K Yamamoto, S Tokumoto 2012 IEEE Eighth World Congress on Services, 80-87, 2012 | 12 | 2012 |
Elixir: An automated repair tool for Java programs RK Saha, H Yoshida, MR Prasad, S Tokumoto, K Takayama, I Nanba Proceedings of the 40th International Conference on Software Engineering …, 2018 | 11 | 2018 |
Enhancing symbolic execution to test the compatibility of re-engineered industrial software S Tokumoto, T Uehara, K Munakata, H Ishida, T Eguchi, M Baba Software Engineering Conference (APSEC), 2012 19th Asia-Pacific 1, 314-317, 2012 | 7 | 2012 |
Inappropriate usage examples in web api documentations M Hosono, H Washizaki, K Honda, H Nagumo, H Sonoda, Y Fukazawa, ... 2019 IEEE International Conference on Software Maintenance and Evolution …, 2019 | 6 | 2019 |
機械学習工学: 3. 機械学習応用システムのテストと検証 石川冬樹, 徳本晋 情報処理 60 (1), 25-33, 2018 | 6 | 2018 |
Test Case Selection Based on Path Condtions of Symbolic Execution K Munakata, S Fujiwara, S Tokumoto, T Uehara Software Engineering Conference (APSEC), 2012 19th Asia-Pacific 1, 318-321, 2012 | 6 | 2012 |
Product line development using multiple domain specific languages in embedded systems S Tokumoto FCEURg Workshop Proceedings 644, 125-129, 2010 | 6 | 2010 |
An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty Z Wang, Y Huang, L Ma, H Yokoyama, S Tokumoto, K Munakata arXiv preprint arXiv:2212.06828, 2022 | 5 | 2022 |
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs H Yoshida, S Tokumoto, MR Prasad, I Ghosh, T Uehara Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 5 | 2016 |
Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system S Fujiwara, T Uehara, K Munakata, Y Maeda, S Tokumoto, A Katayama, ... US Patent 9,639,454, 2017 | 4 | 2017 |
Communication apparatus S Tokumoto, F Sakurai, S Nakayama, T Nakamura, H Takahashi, ... US Patent App. 11/727,622, 2008 | 4 | 2008 |
An experience report on regression-free repair of deep neural network model T Nakagawa, S Tokumoto, S Tokui, F Ishikawa 2023 IEEE International Conference on Software Analysis, Evolution and …, 2023 | 3 | 2023 |
Analytic method and analyzing apparatus S Tokumoto, H Yoshida US Patent App. 15/009,268, 2017 | 3 | 2017 |
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software S Tokumoto, K Sakamoto, K Shimojo, T Uehara, H Washizaki Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh …, 2014 | 2 | 2014 |