@article{weko_9771_1,
   author	 = "Nakamura,Masaki and Seino,Takahiro",
   title	 = "Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method",
   journal	 = "IEICE Transactions on Information and Systems",
   year 	 = "2009",
   volume	 = "E92-D",
   number	 = "5",
   pages	 = "1012--1021",
   month	 = "jan"
}