Marc Phalippou

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
Standardization of Formal Methods in Conformance Testing of Communication Protocols. Comput. Networks ISDN Syst. 29 (1) (1996)
Marc Phalippou
Test sequence generation using Estelle or SDL structure information. FORTE (1994)
Marc Phalippou
Abstract testing and concrete testers. PSTV (1994)
Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
Formal Methods for Conformance Testing: Results and Perspectives. Protocol Test Systems (1993)
Marc Phalippou
Executable Testers. Protocol Test Systems (1993)
Marc Phalippou
The Limited Power of Testing. Protocol Test Systems (1992)
Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka
Combination of conformance and interoperability testing. FORTE (1992)
Marc Phalippou, Roland Groz
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE (1990)
Marc Phalippou
Functional Specification for an ISDN Switching System: an Experience using Estelle. PSTV (1989)
Marc Phalippou, Roland Groz
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE (1988)