Hideto Ogawa

21 papers A 1B 2C 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A conf
Evaluating Mutation-based Fault Localization for Quantum Programs.
EASE
Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei, Ryota Katsube, Naoto Sato, Hideto Ogawa
2025 J jnl
Evaluating Mutation-based Fault Localization for Quantum Programs.
CoRR
Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei, Ryota Katsube, Naoto Sato, Hideto Ogawa
2024 C conf
An Empirical Study on Self-Admitted Technical Debt in Quantum Software.
APSEC
Yuta Ishimoto, Yuto Nakamura, Ryota Katsube, Naoto Sato, Hideto Ogawa, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi
2020 J jnl
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges.
IEICE Trans. Inf. Syst.
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
2020 J jnl
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence.
Int. J. Softw. Eng. Knowl. Eng.
Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita
2020 C conf
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence.
SEKE
Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya
2020 J jnl
Unsupposable Test-data Generation for Machine-learned Software.
CoRR
Naoto Sato, Hironobu Kuruma, Hideto Ogawa
2019 J jnl
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges.
CoRR
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
2018 — conf
A Test Architecture for Machine Learning Product.
ICST Workshops
Yasuharu Nishi, Satoshi Masuda, Hideto Ogawa, Keiji Uetsuki
2018 J jnl
DeepSaucer: Unified Environment for Verifying Deep Neural Networks.
CoRR
Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler
2018 — conf
Simplified Influence Evaluation of Additional Training on Deep Neural Networks.
WESPr-iMLSE@APSEC
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
2016 — conf
Refactoring verification using model transformation.
IWoR@ASE
Makoto Ichii, Daisuke Shimbara, Yasufumi Suzuki, Hideto Ogawa
2015 J jnl
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction.
IEICE Trans. Inf. Syst.
Hideto Ogawa, Makoto Ichii, Tomoyuki Myojin, Masaki Chikahisa, Yuichiroh Nakagawa
2015 B conf
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.
COMPSAC
Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
2015 J jnl
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems.
ACM SIGSOFT Softw. Eng. Notes
Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa
2013 — conf
A Practical Study of Debugging Using Model Checking.
APSEC (2)
Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki
2013 — conf
An aspect-oriented CPU resource reservation framework integrated in MDE tools.
AOAsia@AOSD
Yasufumi Suzuki, Hideto Ogawa
2013 B conf
Case study of applying SPLE to development of network switch products.
SPLC
Tadahisa Kato, Masumi Kawakami, Tomoyuki Myojin, Hideto Ogawa, Koji Hirono, Takashi Hasegawa
2012 — conf
A Rule-based Automated Approach for Extracting Models from Source Code.
WCRE
Makoto Ichii, Tomoyuki Myojin, Yuichiroh Nakagawa, Masaki Chikahisa, Hideto Ogawa
2012 — conf
Feature-analysis-based selection method for system configuration for system testing.
PLEASE@ICSE
Daisuke Shimbara, Hiroyuki Watanabe, Shinichi Kakushi, Masumi Kawakami, Hideto Ogawa
2008 C conf
Model Checking Process with Goal Oriented Requirements Analysis.
APSEC
Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden