@techreport{weko_26825_1, author = "門野,雅弥 and 土屋,達弘 and 菊野,亨", title = "モデル検査器NuSMVを利用したテストケース自動生成", year = "2008", institution = "大阪大学基礎工学部, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科", number = "32(2008-SLDM-134)", month = "mar" }