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