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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb