Alexandra DESMOULIN. Test
d'interopérabilité de protocoles : de la formalisation
des critères d'interopérabilité à la
génération des tests. Université de RENNES
1. 6 Décembre 2007. pdf/slides
Revues:
Alexandra DESMOULIN, César VIHO.Interoperability
test
generation: formal definitions
and algorithm. ARIMA (special
edition CARI'06). 2008. To appear
Conférences
Internationales:
Alexandra DESMOULIN, César VIHO. Automatic
Interoperability Test Case Generation based on Formal Definitions.12th International
Workshop on Formal Methods for
Industrial Critical Systems (FMICS 2007). Berlin,
Allemagne,
Juillet 2007. pdf
Alexandra DESMOULIN, César VIHO. A
New Method for Interoperability
Test generation.19th
IFIP
International Conference on Testing of Communicating Systems and 7th
International Workshop on Formal Approaches to Testing of
Software(Testcom/Fates
2007). Talinn,
Estonie,
Juin 2007. pdf
Alexandra DESMOULIN, César VIHO.Interoperability
test
generation: formal definitions
and algorithm.Huitième Colloque
Africain sur la
Recheche en Informatique (CARI),
Cotonou, Bénin, Novembre 2006. pdf
Alexandra
DESMOULIN, César VIHO.Quiescence
Management improves Interoperability Testing.17th
IFIP International Conference on Testing of
Communicating Systems (Testcom), Montréal,
Canada, juin 2005. pdf
Alexandra
DESMOULIN, César VIHO.Formalizing
Interoperability for Test Case Generation Purpose.
IEEE
ISoLA Workshop on Leveraging Applications of Formal Methods,
Verification, and Validation (ISOLA), Columbia,
MD, Etats-Unis, septembre 2005. pdf
Alexandra
DESMOULIN, César VIHO.Formalizing
Interoperability testing: Quiescence Management and Test
Generation. 25th
IFIP WG 6.1 International
Conference on Formal Techniques for Networked and Distributed Systems
(FORTE),Taipei,
Taiwan, octobre 2005. pdf
Autres:
A. Sabiguero, A. Baire, A. Desmoulin, A.
Floch, F. Roudaut, C. Viho. Towards an IP-oriented testing
framework - The IPv6 Testing Toolkit.TTCN-3 User
Conference 2006, Berlin, Germany, May 2006. pdf
Rapports
de recherche:
Alexandra
DESMOULIN, César VIHO.Quiescence
Management improves Interoperability Testing.
Présentations
Quiescence
Management improves Interoperability Testing. 17th
IFIP International Conference on
Testing of
Communicating Systems (Testcom), Montréal, Canada, juin
2005. slides
Formalizing
Interoperability for Test Case Generation Purpose.
IEEE
ISoLA Workshop on Leveraging Applications of Formal Methods,
Verification, and Validation, Columbia, MD, Etats-Unis,
2005. slides
Formalizing
interoperability
testing in a one-to-one context. ORT
University,
Facultad de Ingenieria,Montevideo,
Uruguay, Fevrier 2006.slides
A
New Method for Interoperability
Test generation.19th
IFIP
International Conference on Testing of Communicating Systems and 7th
International Workshop on Formal Approaches to Testing of
Software(Testcom/Fates
2007). Talinn,
Estonia,
Juin 2007. slides
Automatic
Interoperability Test Case Generation based on Formal Definitions. 12th
International Workshop on Formal Methods for
Industrial Critical Systems (FMICS 2007). Berlin, Allemagne,
Juillet 2007. slides
