Marc Phalippou

Two approaches linking a test generation tool with verification techniques

Roland Groz, Marylène Clatin, Marc Phalippou, 1996 .

Formal Methods for Conformance Testing: Results and Perspectives

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou, 1993, Protocol Test Systems.

Test sequence generation using Estelle or SDL structure information

Marc Phalippou, Marc Phalippou, 1994, FORTE.

Standardization of Formal Methods in Conformance Testing of Communication Protocols

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou, 1996, Comput. Networks ISDN Syst..

Some issues on testing theory and its applications

Ana R. Cavalli, Marc Phalippou, Marc Phalippou, 1995 .

Abstract testing and concrete testers

Marc Phalippou, Marc Phalippou, 1995, PSTV.

Evaluation of some test generation tools on a real protocol example

Marc Phalippou, Marc Phalippou, Laurent Boullier, 1995 .