papailiopoulou:hal-00680688

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 85-101, Trento, Italie, Août 2011.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Virginia Papailiopoulou
Ajitha Rajan
Ioannis Parissis

Référence BibTex

@InProceedings{papailiopoulou:hal-00680688,
   Author = {Papailiopoulou, Virginia and Rajan, Ajitha and Parissis, Ioannis},
   Title = {{S}tructural {T}est {C}overage {C}riteria for {I}ntegration {T}esting of {LUSTRE}/{SCADE} {P}rograms},
   BookTitle = {{W}orkshop on {F}ormal {M}ethods for {I}ndustrial {C}ritical {S}ystems ({FMICS})},
   Pages = {85--101},
   Address = {Trento, Italie},
   Month = {August},
   Year = {2011}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)