DBLP:conf:kbse:Papailiopoulou08

Virginia Papailiopoulou. Automatic Test Generation for LUSTRE/SCADE Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy, Pages 517-520, 2008.

Contact

Virginia Papailiopoulou

Référence BibTex

@InProceedings{DBLP:conf:kbse:Papailiopoulou08,
   Author = {Papailiopoulou, Virginia},
   Title = {Automatic Test Generation for LUSTRE/SCADE Programs},
   BookTitle = {23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy},
   Pages = {517--520},
   Year = {2008}
}

Référence EndNote [help]

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