著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 樋上 喜信 and 阿萬 裕久 and 高橋 寛 and 高松 雄三,ハードウェアテスト生成ツールを用いた組込みシステムに対するテストケール生成法,組込みシステムシンポジウム論文集,,,2008,,,151-157,https://cir.nii.ac.jp/crid/1010000782449430784,