@inproceedings{weko_148293_1,
   author	 = "宮本,敬三 and 堀,直哉 and 岡野,浩三 and 楠本,真二",
   title	 = "B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)",
   booktitle	 = "情報科学技術フォーラム講演論文集",
   year 	 = "2008",
   volume	 = "7",
   number	 = "1",
   pages	 = "107--108",
   month	 = "aug"
}