Alexandra Desmoulin

According to our database, Alexandra Desmoulin authored at least 6 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Formalizing interoperability for test case generation purpose.

Alexandra Desmoulin, César Viho

Int. J. Softw. Tools Technol. Transf., 2009

2008

Interoperability test generation: formal definitions and algorithm.

Alexandra Desmoulin, César Viho

ARIMA J., 2008

2007

A New Method for Interoperability Test Generation.

Alexandra Desmoulin, César Viho

Proceedings of the Testing of Software and Communicating Systems, 2007

Automatic Interoperability Test Case Generation Based on Formal Definitions.

Alexandra Desmoulin, César Viho

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2005

Quiescence Management Improves Interoperability Testing.

Alexandra Desmoulin, César Viho

Proceedings of the Testing of Communicating Systems, 2005

Formalizing Interoperability Testing: Quiescence Management and Test Generation.

Alexandra Desmoulin, César Viho

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005