Seguir
Susumu Tokumoto
Susumu Tokumoto
Dirección de correo verificada de fujitsu.com
Título
Citado por
Citado por
Año
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
592020
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
272016
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
252022
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
242016
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
212017
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
122019
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
122012
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
112018
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
72012
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
62019
機械学習工学: 3. 機械学習応用システムのテストと検証
石川冬樹, 徳本晋
情報処理 60 (1), 25-33, 2018
62018
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
62012
Product line development using multiple domain specific languages in embedded systems
S Tokumoto
FCEURg Workshop Proceedings 644, 125-129, 2010
62010
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
52022
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
52016
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
42017
Communication apparatus
S Tokumoto, F Sakurai, S Nakayama, T Nakamura, H Takahashi, ...
US Patent App. 11/727,622, 2008
42008
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
32023
Analytic method and analyzing apparatus
S Tokumoto, H Yoshida
US Patent App. 15/009,268, 2017
32017
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
22014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20