@techreport{weko_21217_1,
   author	 = "田口,研治 and 寺本,宏子 and 本位田真一",
   title	 = "VDMにおけるテスティング方式についての考察",
   year 	 = "2006",
   institution	 = "国立情報学研究所, （株）ＣＳＫシステムズ, 国立情報学研究所",
   number	 = "35(2006-SE-151)",
   month	 = "mar"
}