Test Case Selection Based on Path Condtions of Symbolic Execution. - Kazuki Munakata; Shoichiro Fujiwara; Susumu Tokumoto; Tadahiro Uehara (APSEC, 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 (APSEC, 2012)

Massive Event Data Analysis and Processing Service Development Environment Using DFD. - Yoshihide Nomura; Kosaku Kimura; Hidetoshi Kurihara; Rieko Yamamoto; Kouji Yamamoto 002; Susumu Tokumoto (SERVICES, 2012)

Model-based test case generation using symbolic execution. - Kazuki Munakata; Susumu Tokumoto; Tadahiro Uehara (JAMAICA@ISSTA, 2013)

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. - Susumu Tokumoto; Kazunori Sakamoto; Kiyofumi Shimojo; Tadahiro Uehara; Hironori Washizaki (ICST, 2014)

MuVM: Higher Order Mutation Analysis Virtual Machine for C. - Susumu Tokumoto; Hiroaki Yoshida; Kazunori Sakamoto; Shinichi Honiden (ICST, 2016)

FSX: fine-grained incremental unit test generation for C/C++ programs. - Hiroaki Yoshida; Susumu Tokumoto; Mukul R. Prasad; Indradeep Ghosh; Tadahiro Uehara (ISSTA, 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 (SIGSOFT FSE, 2016)

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)

Elixir: an automated repair tool for Java programs. - Ripon K. Saha; Hiroaki Yoshida; Mukul R. Prasad; Susumu Tokumoto; Kuniharu Takayama; Isao Nanba (ICSE (Companion Volume), 2018)

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 (ICSME, 2019)

PHANTA: Diversified Test Code Quality Measurement for Modern Software Development. - Susumu Tokumoto; Kuniharu Takayama (ASE, 2019)

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. - Yutaka Matsuno; Fuyuki Ishikawa; Susumu Tokumoto (SAFECOMP Workshops, 2019)

Attribute-based Granular Evaluation for Performance of Machine Learning Models. - Henri Trenquier; Fuyuki Ishikawa; Susumu Tokumoto (AITest, 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 (SEKE, 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)

Practical insights of repairing model problems on image classification. - Akihito Yoshii; Susumu Tokumoto; Fuyuki Ishikawa (CAIN, 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 (SANER, 2022)

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty. - Zhijie Wang 014; Yuheng Huang 004; Lei Ma 003; Haruki Yokoyama; Susumu Tokumoto; Kazuki Munakata (CoRR, 2022)

Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. - Satoshi Munakata; Susumu Tokumoto; Koji Yamamoto 002; Kazuki Munakata (ICSE Companion, 2023)

An Experience Report on Regression-Free Repair of Deep Neural Network Model. - Takao Nakagawa; Susumu Tokumoto; Shogo Tokui; Fuyuki Ishikawa (SANER, 2023)

Development of Automated Software Design Document Review Methods Using Large Language Models. - Takasaburo Fukuda; Takao Nakagawa; Keisuke Miyazaki; Susumu Tokumoto (SANER, 2025)