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, August 2011.

Download

Download paper: (link)

Copyright notice:

Contact

Virginia Papailiopoulou
Ajitha Rajan
Ioannis Parissis

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)