@inproceedings{weko_174376_1,
   author	 = "佐藤,直人 and 芹沢,一 and 前田,浩光 and 高橋,伸明 and 前川,義之 and 四野見,秀明 and 村尾,直哉 and 大島,豊 and 田代,敦 and 黒川,勇 and 八木沢,育哉 and 高田,豊 and 清永,章彦 and 大橋,正己",
   title	 = "偽反例の出力を抑制するモデル検査支援環境",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2016論文集",
   year 	 = "2016",
   volume	 = "2016",
   number	 = "",
   pages	 = "211--218",
   month	 = "aug"
}