黒岩 丈瑠


モデル検査の実行順序制約の図式表現と試験ケースの自動生成
青山 裕介 黒岩 丈瑠 久代 紀之 
誌名:   
発行日: 2018/03/01
Vol. J101-D  No. 3  pp. 502-511
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェアシステム
キーワード: 
モデル検査SPINエミュレータ試験ケース資産化
 あらまし | 本文:PDF(1.3MB)