Search the dblp DataBase

Publications of Author

1. Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka
   Combination of conformance and interoperability testing. [Citation Graph (0, 0)][DBLP]
   FORTE, 1992, pp:397-412 [Conf]
   
2. Marc Phalippou
   Test sequence generation using Estelle or SDL structure information. [Citation Graph (0, 0)][DBLP]
   FORTE, 1994, pp:415-430 [Conf]
   
3. Marc Phalippou, Roland Groz
   Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:185-199 [Conf]
   
4. Marc Phalippou, Roland Groz
   From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:175-190 [Conf]
   
5. Marc Phalippou
   Functional Specification for an ISDN Switching System: an Experience using Estelle. [Citation Graph (0, 0)][DBLP]
   PSTV, 1989, pp:15-24 [Conf]
   
6. Marc Phalippou
   Abstract testing and concrete testers. [Citation Graph (0, 0)][DBLP]
   PSTV, 1994, pp:221-236 [Conf]
   
7. Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
   Formal Methods for Conformance Testing: Results and Perspectives. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:3-17 [Conf]
   
8. Marc Phalippou
   The Limited Power of Testing. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1992, pp:43-54 [Conf]
   
9. Marc Phalippou
   Executable Testers. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:35-50 [Conf]
   
10. Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
    Standardization of Formal Methods in Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:3-14 [Journal]