Alexandra Desmoulin

According to our database1, Alexandra Desmoulin authored at least 5 papers between 2005 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Formalizing interoperability for test case generation purpose.
Int. J. Softw. Tools Technol. Transf., 2009

2007
A New Method for Interoperability Test Generation.
Proceedings of the Testing of Software and Communicating Systems, 2007

Automatic Interoperability Test Case Generation Based on Formal Definitions.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2005
Quiescence Management Improves Interoperability Testing.
Proceedings of the Testing of Communicating Systems, 2005

Formalizing Interoperability Testing: Quiescence Management and Test Generation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005


  Loading...