Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu, "Integrating formal verification and conformance testing for reactive systems," IEEE Transactions on Software Engineering, vol. 33, no. 8, pp. 558-574, August, 2007.

@article{ 10.1109/TSE.2007.70707,
author = {Camille Constant and Thierry Jéron and Hervé Marchand and Vlad Rusu},
title = {Integrating formal verification and conformance testing for reactive systems},
journal ={IEEE Transactions on Software Engineering},
volume = {33},
number = {8},
issn = {0098-5589},
year = {2007},
pages = {558-574},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70707},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Integrating formal verification and conformance testing for reactive systems
IS - 8
SN - 0098-5589
SP558
EP574
EPD - 558-574
A1 - Camille Constant,
A1 - Thierry Jéron,
A1 - Hervé Marchand,
A1 - Vlad Rusu,
PY - 2007
VL - 33
JA - IEEE Transactions on Software Engineering
ER -