Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng., 33(8):558-574, 2007. [doi]
@article{ConstantJMR07,
title = {Integrating formal verification and conformance testing for reactive systems},
author = {Camille Constant and Thierry Jéron and Hervé Marchand and Vlad Rusu},
year = {2007},
doi = {10.1109/TSE.2007.70707},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70707},
tags = {rule-based, completeness, protocol, testing, systematic-approach},
researchr = {https://researchr.org/publication/ConstantJMR07},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {33},
number = {8},
pages = {558-574},
}