@techreport{weko_203714_1,
   author	 = "三輪,航也 and 北村,泰彦",
   title	 = "シンボリック実行によるテストケース生成を行う空欄補充式Java学習システムの開発",
   year 	 = "2020",
   institution	 = "関西学院大学大学院理工学研究科情報科学専攻, 関西学院大学理工学部情報科学科",
   number	 = "9",
   month	 = "mar"
}