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

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)

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)

Improving Reliability of Object Detection for Lunar Craters Using Monte Carlo Dropout. - Tomoyuki Myojin; Shintaro Hashimoto; Kenji Mori; Keisuke Sugawara; Naoki Ishihama (ICANN (3), 2019)

Detecting Uncertain BNN Outputs on FPGA Using Monte Carlo Dropout Sampling. - Tomoyuki Myojin; Shintaro Hashimoto; Naoki Ishihama (ICANN (2), 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)

Visualization Tool for Extraction of Various Attributes and Corresponding Data for Dataset Quality Assessment. - Masatoshi Sekine; Daisuke Shimbara; Tomoyuki Myojin; Eri Imatani (AITest, 2023)