@techreport{weko_197980_1,
   author	 = "金,浩 and 史,冊 and 土屋,達弘",
   title	 = "ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成",
   year 	 = "2019",
   institution	 = "大阪大学, 上海立信会計金融学院, 大阪大学",
   number	 = "19",
   month	 = "jul"
}