John Derrick, Eerke Boiten. Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab., 9(1):27-50, 1999.
@article{DerrickB99:0,
title = {Testing Refinements of State-based Formal Specifications},
author = {John Derrick and Eerke Boiten},
year = {1999},
tags = {rule-based, refinement, testing},
researchr = {https://researchr.org/publication/DerrickB99%3A0},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {9},
number = {1},
pages = {27-50},
}