モデル検査の実行順序制約の図式表現と試験ケースの自動生成

青山 裕介  黒岩 丈瑠  久代 紀之  

誌名:   電子情報通信学会論文誌 D
早期公開日: 2017/12/04
DOI: 10.14923/transinfj.2017PDP0010
本文: PDF(1.3MB)