Susumu Tokumoto

According to our database, Susumu Tokumoto authored at least 21 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Experience Report on Regression-Free Repair of Deep Neural Network Model.

Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa

Proceedings of the IEEE International Conference on Software Analysis, 2023

Towards Formal Repair and Verification of Industry-scale Deep Neural Networks.

Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty.

Zhijie Wang, Yuheng Huang, Lei Ma, Haruki Yokoyama, Susumu Tokumoto, Kazuki Munakata

CoRR, 2022

NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History.

Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi

Proceedings of the IEEE International Conference on Software Analysis, 2022

Practical insights of repairing model problems on image classification.

Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

2020

Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence.

Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita

Int. J. Softw. Eng. Knowl. Eng., 2020

Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence.

Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Attribute-based Granular Evaluation for Performance of Machine Learning Models.

Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.

Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto

Proceedings of the Computer Safety, Reliability, and Security, 2019

PHANTA: Diversified Test Code Quality Measurement for Modern Software Development.

Susumu Tokumoto, Kuniharu Takayama

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Inappropriate Usage Examples in Web API Documentations.

Masaki Hosono, Susumu Tokumoto, Supasit Monpratarnchai, Hironori Washizaki, Kiyoshi Honda, Hiromasa Nagumo, Hisanobu Sonoda, Yoshiaki Fukazawa, Kazuki Munakata, Takao Nakagawa, Yusuke Nemoto

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

2018

Elixir: an automated repair tool for Java programs.

Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.

Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara

IEEE Softw., 2017

2016

FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.

Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.

Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

MuVM: Higher Order Mutation Analysis Virtual Machine for C.

Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2014

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software.

Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Model-based test case generation using symbolic execution.

Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

2012

Massive Event Data Analysis and Processing Service Development Environment Using DFD.

Yoshihide Nomura, Kosaku Kimura, Hidetoshi Kurihara, Rieko Yamamoto, Kouji Yamamoto, Susumu Tokumoto

Proceedings of the Eighth IEEE World Congress on Services, 2012

Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software.

Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Test Case Selection Based on Path Condtions of Symbolic Execution.

Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012