@inproceedings{weko_136872_1,
   author	 = "平野,勇次 and 久保田,光一",
   title	 = "自動微分システムのためのテストプログラム生成",
   booktitle	 = "全国大会講演論文集",
   year 	 = "2008",
   volume	 = "第70回",
   number	 = "アーキテクチャ",
   pages	 = "143--144
",
   month	 = "mar"
}