Publications de German Vega

Load the BibTeX file

Conférences internationales

1. 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. download
2. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
3. Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), Pages 207-219, Lisbon, Portugal, Juin 2009.

Autres communications

1. Yves Ledru, German Vega, Taha Triki, Lydie du Bousquet. Test Suite Selection Based on Traceability Annotations - tool demonstration. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 342-345, Essen, Germany, Septembre 2012.