Ph.D.
in Computer Science
(Teaching assistant at Université de Rennes 1) IRISA/Université de
Rennes 1 équipe
DIONYSOS - bureau F407 Campus de Beaulieu 35042 RENNES
Cedex - FRANCE tel: +33 2 99 84
72 64
Alexandra DESMOULIN. Test
d'interopérabilité de protocoles : de la formalisation
des critères d'interopérabilité à la
génération des tests. University de RENNES
1. December 2007. pdf (in
french)/slides
Journal:
Alexandra DESMOULIN, César VIHO.Interoperability
test
generation: formal definitions
and algorithm. ARIMA (special
edition CARI'06). 2008. To appear
International
Conferences:
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, Germany,
July 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,
Estonia,
June 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, Benin, November 2006. pdf
Alexandra
DESMOULIN, César VIHO.Quiescence
Management improves Interoperability Testing.17th
IFIP International Conference on Testing of
Communicating Systems (Testcom), Montreal,
Canada, june 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, USA, september 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, october 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
Research
Repport:
Alexandra
DESMOULIN, César VIHO.Quiescence
Management improves Interoperability Testing.
Presentations
Quiescence
Management improves Interoperability Testing.17th
IFIP International Conference on
Testing of
Communicating Systems (Testcom), Montreal, CANADA
2005. slides
Formalizing
Interoperability for Test Case Generation Purpose.
IEEE
ISoLA Workshop on Leveraging Applications of Formal Methods,
Verification, and Validation, Columbia, MD, United-States,
2005. slides
Formalizing
interoperability
testing in a one-to-one context. ORT
University,
Facultad de Ingenieria,Montevideo,
Uruguay, Feb. 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,
June 2007. slides
Automatic
Interoperability Test Case Generation based on Formal Definitions. 12th
International Workshop on Formal Methods for
Industrial Critical Systems (FMICS 2007). Berlin,
Germany,
July 2007. slides
