@inproceedings{weko_120555_1,
   author	 = "岡安,二郎 and 平山,雅之 and 加地,浩一 and 三原,幸博",
   title	 = "状態遷移仕様からのテストデータ生成方式",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1991",
   volume	 = "第42回",
   number	 = "ソフトウェア工学",
   pages	 = "218--219",
   month	 = "feb"
}