Gaoyan Xie,
"Decompositional Verification of Component-based Systems-A Hybrid Approach,"
Automated Software Engineering, International Conference on, pp. 414-417, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004.
BibTex
x
@article{
10.1109/ASE.2004.10007, author = {Gaoyan Xie}, title = {Decompositional Verification of Component-based Systems-A Hybrid Approach}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2004}, issn = {1068-3062}, pages = {414-417}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10007}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Automated Software Engineering, International Conference on TI - Decompositional Verification of Component-based Systems-A Hybrid Approach SN - 1068-3062 SP414 EP417 A1 - Gaoyan Xie, PY - 2004 KW - null VL - 0 JA - Automated Software Engineering, International Conference on ER -
Gaoyan Xie, Washington State University, Pullman, WA
This paper introduces a decompositional verification approach for component-based systems through both formal analysis (model-checking) and traditional software testing.
Citation:
Gaoyan Xie, "Decompositional Verification of Component-based Systems-A Hybrid Approach," ase, pp.414-417, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004
PURCHASE ARTICLE: $19
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb