@techreport{weko_26967_1, author = "大石,亮介 and 松田,明男 and 岩下,洋哲 and 高山,浩一郎", title = "仕様書から検証シナリオを生成する手法", year = "2006", institution = "株式会社富士通研究所, 株式会社富士通研究所, 株式会社富士通研究所, 株式会社富士通研究所", number = "126(2006-SLDM-127)", month = "nov" }