国際会議(査読付)

[1] Yasuyuki Arikawa, Kinari Nishiura, and Osamu 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.

学位論文

[1] 有川 康幸, "エミュレーションと状態遷移の規則による組み込みデバイスドライバーのバグ検出手法の提案," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.