@techreport{weko_186598_1, author = "大嶋,乃斗 and 岸,知二", title = "コンポーネント指向フレームワークを用いたSPAの画面遷移を対象とするモデル検査手法", year = "2018", institution = "早稲田大学大学院創造理工学研究科, 早稲田大学創造理工学部", number = "8", month = "mar" }