Model Checking Process with Goal Oriented Requirements Analysis. - Hideto Ogawa; Fumihiro Kumeno; Shinichi Honiden (APSEC, 2008)

Feature-analysis-based selection method for system configuration for system testing. - Daisuke Shimbara; Hiroyuki Watanabe; Shinichi Kakushi; Masumi Kawakami; Hideto Ogawa (PLEASE@ICSE, 2012)

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

An aspect-oriented CPU resource reservation framework integrated in MDE tools. - Yasufumi Suzuki; Hideto Ogawa (AOAsia@AOSD, 2013)

A Practical Study of Debugging Using Model Checking. - Hideto Ogawa; Makoto Ichii; Fumihiko Kumeno; Toshiaki Aoki (APSEC (2), 2013)

Case study of applying SPLE to development of network switch products. - Tadahisa Kato; Masumi Kawakami; Tomoyuki Myojin; Hideto Ogawa; Koji Hirono; Takashi Hasegawa (SPLC, 2013)

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. - Hideto Ogawa; Makoto Ichii; Fumihiro Kumeno; Toshiaki Aoki (COMPSAC, 2015)

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)

POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. - Phan Thi Thanh Huyen; Daisuke Shimbara; Shinya Sakaida; Hideto Ogawa (ACM SIGSOFT Softw. Eng. Notes, 2015)

Refactoring verification using model transformation. - Makoto Ichii; Daisuke Shimbara; Yasufumi Suzuki; Hideto Ogawa (IWoR@ASE, 2016)

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

A Test Architecture for Machine Learning Product. - Yasuharu Nishi; Satoshi Masuda; Hideto Ogawa; Keiji Uetsuki (ICST Workshops, 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)

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)

Unsupposable Test-data Generation for Machine-learned Software. - Naoto Sato; Hironobu Kuruma; Hideto Ogawa (CoRR, 2020)

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)

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)

An Empirical Study on Self-Admitted Technical Debt in Quantum Software. - Yuta Ishimoto; Yuto Nakamura; Ryota Katsube; Naoto Sato; Hideto Ogawa; Masanari Kondo; Yasutaka Kamei; Naoyasu Ubayashi (APSEC, 2024)

Evaluating Mutation-based Fault Localization for Quantum Programs. - Yuta Ishimoto; Masanari Kondo; Naoyasu Ubayashi; Yasutaka Kamei; Ryota Katsube; Naoto Sato; Hideto Ogawa (CoRR, 2025)