Research field (2)：
Intelligent informatics
, Software
Research keywords (2)：
ソフトウェア工学
, ソフトウェアレビュー
Research theme for competitive and other funds (1)：
2022 - 2025 Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
Papers (8)：
Naoko Okubo, Shoma Takatsuki, Yasushi Ueda. Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Functionality. 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2022
Naoko Okubo, Yasushi Ueda, Noboru Tonoya, Masafumi Katahira. A Taxonomy to Classify Discrepancy Reports for Space Systems. 2022 Annual Reliability and Maintainability Symposium (RAMS). 2022
Kenji Mori, Naoko Okubo, Yasushi Ueda, Masafumi Katahira, Toshiyuki Amagasa. Toward latent knowledge extraction based on the correlation of heterogeneous text data related to space system development. CEUR Workshop Proceedings. 2020. 2584
森 健史, 大久保 梨思子, 植田 泰士, 片平 真史, 天笠 俊之. Towards Knowledge Extraction from Heterogeneous Text Data Related to Space Systems. WebDB Forum 2019論文集. 2019. 2019. 77-80
CAST Handbook: How to Learn More from Incidents and Accidents
2021
STPA Handbook(Japanese)
2018
Lectures and oral presentations (1)：
Special Session- Aerospace IV&V: Why and how we use software testing to trust products
(International Conference on Software Testing, Verification and Validation 2017)
Professional career (1)：
修士(工学) (筑波大学)
Work history (1)：
2013 - 現在 Japan Aerospace Exploration Agency
Awards (2)：
2020/10 - ソフトウェア品質シンポジウム(一般社団法人日本科学技術連盟) SQiP Best Paper Effective Award 自然言語処理による情報検索を用いた故障発想支援の提案
