@techreport{weko_99411_1,
   author	 = "石川太一郎 and 高田眞吾 and 丹野治門 and 生沼守英",
   title	 = "Concolic Testingを用いたWebアプリケーションに対するテストデータ生成に関する研究",
   year 	 = "2014",
   institution	 = "慶應義塾大学, 慶應義塾大学, NTTソフトウェアイノベーションセンタ, NTTソフトウェアイノベーションセンタ",
   number	 = "1",
   month	 = "mar"
}