Author: Yasuyuki Arikawa / 有川 康幸
  • Research duration: 2024 - 2024
  • Total publications: 3
Publication counts by year

  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category

Research keywords

bugsdevicedriversembeddedemulationexternalfindingエミュレーションデバイスドライバーバグ手法提案検出状態組み込み規則遷移卒論環境差異吸収可能プログラミング演習
Publications

To be published

Workshop

[1] Yasuyuki Arikawa, Kinari Nishiura, and Osamu Mizuno, "環境差異を吸収可能なプログラミング演習支援システムの開発", 第 32 回ソフトウェア工学の基礎ワークショップ (FOSE2025), November To be published.

2024

International Conference

[1] 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), pp. 129-132, September 2024.

Thesis

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

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.