研究業績
- 有川 康幸, 西浦 生成, 水野 修, "環境差異を吸収可能なプログラミング演習支援システムの開発", 第 32 回ソフトウェア工学の基礎ワークショップ (FOSE2025), toappear.
- Yasuyuki Arikawa, Kinari Nishiura, and Osamu Mizuno, "Finding Bugs in Embedded External Device Drivers Using Emulation", Proc. of the 6th World Symposium of Software Engineering (WSSE 2024), 129-132, 2024.
- 有川 康幸, "エミュレーションと状態遷移の規則による組み込みデバイスドライバーのバグ検出手法の提案", 卒業研究報告書, 京都工芸繊維大学, 2024.