@article{weko_204258_1,
   author	 = "青山,裕介 and 黒岩,丈瑠 and 久代,紀之",
   title	 = "テストケース生成のためのシステム仕様書の論理記述変換アルゴリズム",
   journal	 = "情報処理学会論文誌",
   year 	 = "2020",
   volume	 = "61",
   number	 = "3",
   pages	 = "521--534",
   month	 = "mar"
}