Publications de Yves Grasland

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. Yves Grasland. Test fonctionnel de propriétés hybrides. Thèse de l'Université de Grenoble, France, Février 2013.

Conférences internationales

1. Y. Grasland, L du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 104-113, Luxembourg, Avril 2013.
2. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. In Proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems, ICTSS'2011, Burkhart Wolff, Fatiha Zaidi (eds.), Pages 5-12, Paris, France, Novembre 2011.
3. Yves Grasland. Testing Resource Usage in Home Automation Systems. In Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11) (short paper: 4 pages), Pages 419-422, Berlin, Mars 2011.

Communications avec actes

1. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 104-119, Grenoble, Janvier 2012.