Publications de Camille Constant

Thèses

1. Camille Constant, Génération automatique de tests pour des modèles avec variables ou récursivité, Thèse de l'Ecole doctorale Matisse, Université de Rennes I, Novembre 2008. (détails)

Articles de journaux

1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Integrating formal verification and conformance testing for reactive systems, IEEE Transactions on Software Engineering, 33(8):558-574, Août 2007. (détails)

Chapitres de livres

1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Validation of Reactive Systems, in Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chapitre 2, Pages 51-76, Hermès Science, Janvier 2008. (détails)
2. C. Constant, T. Jéron, H. Marchand, V. Rusu, Combinaison entre vérification et test pour la validation de systèmes réactifs, in Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Volume 1, Chapitre 2, Pages 59-88, Hermès Science, 2006. (détails)

Conferences internationales

1. C. Constant, B. Jeannet, T. Jéron, Automatic test generation from interprocedural specifications, in TestCom/Fates07, Pages 41-57, Tallinn, Estonia, Juin 2007. (détails)

Rapport de recherche

1. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Rapport de recherche IRISA, No 1835, Mars 2007. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.