Obserwuj
Susumu Tokumoto
Susumu Tokumoto
Zweryfikowany adres z fujitsu.com
Tytuł
Cytowane przez
Cytowane przez
Rok
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
492020
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
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
222016
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
162017
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
132022
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
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
102019
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
102018
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
CEUR} Workshop Proceedings 644, 125-129, 2010
62010
機械学習工学: 3. 機械学習応用システムのテストと検証
石川冬樹, 徳本晋
情報処理 60 (1), 25-33, 2018
52018
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
52012
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
42019
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
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
42016
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
22023
Analytic method and analyzing apparatus
S Tokumoto, H Yoshida
US Patent App. 15/009,268, 2017
22017
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
業務システムを対象としたシンボリック実行による検証試行
片山朝子, 上原忠弘, 藤原翔一朗, 宗像一樹, 徳本晋, 前田芳晴
ソフトウェアエンジニアリングシンポジウム 2013 論文集 2013, 1-6, 2013
22013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20