@techreport{weko_185137_1, author = "岩辻,光功 and 石浦,菜岐佐", title = "等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化", year = "2018", institution = "関西学院大学理工学部, 関西学院大学理工学部", number = "28", month = "jan" }