@phdthesis{oai:kyutech.repo.nii.ac.jp:00006567,
 author = {青山,  裕介},
 month = {2020-06-02},
 note = {第1章 序論||第2章 プロダクトライン開発を用いた組込み機器の既存テスト技術||第3章 テストケース設計プロセスの再定義と支援ツール||第4章 モデル検査技術と実行テストを融合したテストケース実行環境||第5章 機能・シナリオを衝突させたテストケースの設計支援||第6章 結論と今後の課題, 九州工業大学博士学位論文 学位記番号: 情工博甲第349号 学位授与年月日:令和2年3月25日, 令和元年度},
 school = {九州工業大学},
 title = {プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――},
 year = {},
 yomi = {アオヤマ,  ユウスケ}
}