DadeauCLTVBT13

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 431-438, Luxembourg, 2013.

Contact

Frédéric Dadeau
Yves Ledru
Taha Triki
German Vega

BibTex Reference

@InProceedings{DadeauCLTVBT13,
   Author = {Dadeau, Frédéric and Cabrera Castillos, Kalou and Ledru, Yves and Triki, Taha and Vega, German and Botella, Julien and Taha, Safouan},
   Title = {Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool},
   BookTitle = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013)},
   Pages = {431--438},
   Publisher = {IEEE},
   Address = {Luxembourg},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)