Hans-Martin Hörcher, Jan Peleska. Using formal specifications to support software testing. Software Quality Journal, 4(4):309-327, 1995. [doi]
@article{HorcherP95,
title = {Using formal specifications to support software testing},
author = {Hans-Martin Hörcher and Jan Peleska},
year = {1995},
doi = {10.1007/BF00402650},
url = {http://dx.doi.org/10.1007/BF00402650},
researchr = {https://researchr.org/publication/HorcherP95},
cites = {0},
citedby = {0},
journal = {Software Quality Journal},
volume = {4},
number = {4},
pages = {309-327},
}