A Rule-based Automated Approach for Extracting Models from Source Code. - Makoto Ichii; Tomoyuki Myojin; Yuichiroh Nakagawa; Masaki Chikahisa; Hideto Ogawa (WCRE, 2012)

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction. - Hideto Ogawa; Makoto Ichii; Tomoyuki Myojin; Masaki Chikahisa; Yuichiroh Nakagawa (IEICE Trans. Inf. Syst., 2015)

Simplified Influence Evaluation of Additional Training on Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (WESPr-iMLSE@APSEC, 2018)

DeepSaucer: Unified Environment for Verifying Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Masanori Kaneko; Yuichiroh Nakagawa; Hideto Ogawa; Thai Son Hoang; Michael J. Butler (CoRR, 2018)

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (CoRR, 2019)

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (IEICE Trans. Inf. Syst., 2020)