@techreport{weko_95556_1,
   author	 = "丹野治門 and 星野隆 and KoushikSen and 高橋健司",
   title	 = "Concolic Testingを用いた結合テスト向けテストデータ生成手法の提案",
   year 	 = "2013",
   institution	 = "NTTソフトウェアイノベーションセンタ, NTTソフトウェアイノベーションセンタ, University of California, Berkeley, NTT Innovation Institute Inc.",
   number	 = "6",
   month	 = "oct"
}