@techreport{weko_26821_1, author = "小島,慶久 and 西原,佑 and 松本,剛史 and 藤田,昌宏", title = "システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法", year = "2008", institution = "東京大学大学院工学系研究科電子工学専攻, 東京大学大学院工学系研究科電子工学専攻, 東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター", number = "32(2008-SLDM-134)", month = "mar" }