Susumu Tokumoto

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 18

Top Topics

Software Testing

Quality Assurance

Test Generation

Top Venues

ICSE (Companion Volume)

Publications

Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
An Experience Report on Regression-Free Repair of Deep Neural Network Model. SANER (2023)
Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. ICSE Companion (2023)
Zhijie Wang, Yuheng Huang, Lei Ma, Haruki Yokoyama, Susumu Tokumoto, Kazuki Munakata
An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty. CoRR (2022)
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
Practical Insights of Repairing Model Problems on Image Classification. CoRR (2022)
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
Practical insights of repairing model problems on image classification. CAIN (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER (2022)
Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto
Attribute-based Granular Evaluation for Performance of Machine Learning Models. AITest (2020)
Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. SEKE (2020)
Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. Int. J. Softw. Eng. Knowl. Eng. 30 (11&12) (2020)
Susumu Tokumoto, Kuniharu Takayama
PHANTA: Diversified Test Code Quality Measurement for Modern Software Development. ASE (2019)
Masaki Hosono, Susumu Tokumoto, Supasit Monpratarnchai, Hironori Washizaki, Kiyoshi Honda, Hiromasa Nagumo, Hisanobu Sonoda, Yoshiaki Fukazawa, Kazuki Munakata, Takao Nakagawa, Yusuke Nemoto
Inappropriate Usage Examples in Web API Documentations. ICSME (2019)
Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. SAFECOMP Workshops (2019)
Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba
Elixir: an automated repair tool for Java programs. ICSE (Companion Volume) (2018)
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34 (5) (2017)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE (2016)
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST (2016)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA (2016)
Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. ICST (2014)
Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara
Model-based test case generation using symbolic execution. JAMAICA@ISSTA (2013)
Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. APSEC (2012)
Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara
Test Case Selection Based on Path Condtions of Symbolic Execution. APSEC (2012)
Yoshihide Nomura, Kosaku Kimura, Hidetoshi Kurihara, Rieko Yamamoto, Kouji Yamamoto, Susumu Tokumoto
Massive Event Data Analysis and Processing Service Development Environment Using DFD. SERVICES (2012)