CA:LP07

A. Lakehal, I. Parissis. Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study. In Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007, Minnesota, USA, Mai 2007.

Contact

Ioannis Parissis

Référence BibTex

@InProceedings{CA:LP07,
   Author = {Lakehal, A. and Parissis, I.},
   Title = {Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study},
   BookTitle = {Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007},
   Address = {Minnesota, USA},
   Month = {May},
   Year = {2007}
}

Référence EndNote [help]

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