@inproceedings{weko_94984_1,
   author	 = "片山,朝子 and 上原,忠弘 and 藤原,翔一朗 and 宗像,一樹 and M,Supasit and 徳本,晋 and 前田,芳晴",
   title	 = "業務システムを対象としたシンボリック実行による検証試行",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2013論文集",
   year 	 = "2013",
   volume	 = "2013",
   number	 = "",
   pages	 = "1--6",
   month	 = "sep"
}