@techreport{weko_96096_1, author = "田中,まりか and 山崎,紘史 and 細川,利典 and 吉村,正義 and 新井,雅之 and 中尾,教伸", title = "BASTにおけるテストデータ量削減のためのインバータブロック構成法", year = "2013", institution = "日本大学大学院生産工学研究科, 日本大学大学院生産工学研究科, 日本大学生産工学部, :九州大学大学院システム情報科学研究院, 日本大学生産工学部, 読売理工医療福祉専門学校", number = "31", month = "nov" }