Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) 大石 亮介 and 松田 明男 and 岩下 洋哲,仕様書から検証シナリオを生成する手法,情報処理学会研究報告 = IPSJ SIG technical reports,09196072,東京 : 情報処理学会,2006-11,2006,126,1-4,https://cir.nii.ac.jp/crid/1520290884485696640,