@techreport{weko_240525_1,
   author	 = "松永,裕介",
   title	 = "SATソルバを用いたテスト生成手法用の故障検出条件の表現方法",
   year 	 = "2024",
   institution	 = "九州大学",
   number	 = "43",
   month	 = "nov"
}