Formalizing Interoperability Testing: Quiescence Management and Test Generation. - Alexandra Desmoulin; César Viho (FORTE, 2005)

Quiescence Management Improves Interoperability Testing. - Alexandra Desmoulin; César Viho (TestCom, 2005)

Automatic Interoperability Test Case Generation Based on Formal Definitions. - Alexandra Desmoulin; César Viho (FMICS, 2007)

A New Method for Interoperability Test Generation. - Alexandra Desmoulin; César Viho (TestCom/FATES, 2007)

Interoperability test generation: formal definitions and algorithm. - Alexandra Desmoulin; César Viho (ARIMA J., 2008)

Formalizing interoperability for test case generation purpose. - Alexandra Desmoulin; César Viho (Int. J. Softw. Tools Technol. Transf., 2009)