@inproceedings{weko_139603_1,
   author	 = "藤原,翔一朗 and 宗像,一樹 and 片山,朝子 and 前田,芳晴 and 大木,憲二 and 上原,忠弘 and 山本,里枝子",
   title	 = "SMT Solverを利用したWebアプリケーション用テストデータの生成",
   booktitle	 = "全国大会講演論文集",
   year 	 = "2010",
   volume	 = "第72回",
   number	 = "ソフトウェア科学・工学",
   pages	 = "281--282
",
   month	 = "mar"
}