Masaki Nakamura, Takahiro Seino. Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method. IEICE Transactions, 92-D(5):1012-1021, 2009. [doi]
@article{NakamuraS09,
title = {Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method},
author = {Masaki Nakamura and Takahiro Seino},
year = {2009},
url = {http://search.ieice.org/bin/summary.php?id=e92-d_5_1012&category=D&year=2009&lang=E&abst=},
tags = {testing},
researchr = {https://researchr.org/publication/NakamuraS09},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {92-D},
number = {5},
pages = {1012-1021},
}