Skip to content

Susumu Tokumoto

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

9

Active years

2012–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026SANERDiagram-Aware Automatic Review of Software Design Documents Using Multimodal Large Language Models.Takasaburo Fukuda, Susumu Tokumoto
2025SANERDevelopment of Automated Software Design Document Review Methods Using Large Language Models.Takasaburo Fukuda, Takao Nakagawa, Keisuke Miyazaki, Susumu Tokumoto
2023ICSETowards Formal Repair and Verification of Industry-scale Deep Neural Networks.Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata
2022CAINPractical insights of repairing model problems on image classification.Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
2020SEKEGuidelines 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
2019SAFECOMPTackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
2018ICSEElixir: an automated repair tool for Java programs.Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba
2016ICSTMuVM: Higher Order Mutation Analysis Virtual Machine for C.Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
2016ISSTAFSX: fine-grained incremental unit test generation for C/C++ programs.Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
2014ICSTSemi-automatic Incompatibility Localization for Re-engineered Industrial Software.Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
2013ISSTAModel-based test case generation using symbolic execution.Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara
2012APSECTest Case Selection Based on Path Condtions of Symbolic Execution.Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara
2012APSECEnhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software.Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba
2012SERVICESMassive Event Data Analysis and Processing Service Development Environment Using DFD.Yoshihide Nomura, Kosaku Kimura, Hidetoshi Kurihara, Rieko Yamamoto, Kouji Yamamoto, Susumu Tokumoto