Testing Environment for CPS by Cooperating Model Checking with Execution Testing. - Takeru Kuroiwa; Yusuke Aoyama; Noriyuki Kushiro (KES, 2016)

Extracting Field Oversees' Features in Risk Recognition from Data of Eyes and Utterances. - Noriyuki Kushiro; Yuji Fujita; Yusuke Aoyama (ICDM Workshops, 2017)

Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. - Yusuke Aoyama; Takeru Kuroiwa; Noriyuki Kushiro (APSEC, 2018)

Requirements Definition with Extended Goal Graph. - Masafumi Ifuku; Noriyuki Kushiro; Yusuke Aoyama (ICDM Workshops, 2018)

Tool for Extracting Latent Field Overseers' Knowledge for Risk Recognition on Eyes and Algorithm for Structuring Meta and Domain Knowledge from Utterances. - Noriyuki Kushiro; Yusuke Aoyama; Yuji Fujita (KES, 2018)

A Hybrid Testing Environment between Execution Test and Model Checking for IoT System. - Takeru Kuroiwa; Yusuke Aoyama; Noriyuki Kushiro (ICCE, 2019)

Differences of risk knowledge described in work procedures manual and that used in real field by field overseers. - Noriyuki Kushiro; Koshiro Nishinaga; Yusuke Aoyama; Toshihiro Mega (KES, 2019)

Extracting and Structuring Latent Knowledge for Risk Recognition from Eyes and Utterances of Field Overseers. - Noriyuki Kushiro; Yusuke Aoyama; Toshihiro Mega (HCI (47), 2020)

Test Case Generation Algorithms and Tools for Specifications in Natural Language. - Yusuke Aoyama; Takeru Kuroiwa; Noriyuki Kushiro (ICCE, 2020)

Automatic Testing Environment for Virtual Network Embedded Systems. - Takeru Kuroiwa; Yusuke Aoyama; Noriyuki Kushiro (ICCE, 2020)

Logic Visualization Algorithm in System Specifications as Companion Tool for System Designing and Testing. - Noriyuki Kushiro; Yusuke Aoyama (KES, 2020)

Executable Test Case Generation from Specifications Written in Natural Language and Test Execution Environment. - Yusuke Aoyama; Takeru Kuroiwa; Noriyuki Kushiro (CCNC, 2021)

Visualizing Schemes and Logics among Sentences in Paragraph. - Noriyuki Kushiro; Yusuke Ogata; Yusuke Aoyama (KES, 2021)

Tools for Visualizing Logical Schemes among Sentences on Similarity. - Noriyuki Kushiro; Yusuke Ogata; Yusuke Aoyama (KES, 2022)