研究テーマ
- TBD
研究業績
- Y. Arikawa, K. Nishiura, and O. Mizuno, "Finding Bugs in Embedded External Device Drivers Using Emulation," In Proc. of the 6th World Symposium of Software Engineering (WSSE 2024), 4 pages, September 2024.
- 有川, "エミュレーションと状態遷移の規則による組み込みデバイスドライバーのバグ検出手法の提案," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.