Relations d'implantation et hypothèses de test sur des automates à entrées et sorties M Phalippou Bordeaux 1, 1994 | 111 | 1994 |
Two approaches linking a test generation tool with verification techniques M Clatin, R Groz, M Phalippou, R Thummel Protocol Test Systems VIII: Proceedings of the IFIP WG6. 1 TC6 Eighth …, 1996 | 54 | 1996 |
Combination of conformance and interoperability testing N Arakawa, M Phalippou, N Risser, T Soneoka Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 33 | 1992 |
Standardization of formal methods in conformance testing of communication protocols AR Cavalli, JP Favreau, M Phalippou Computer Networks and ISDN Systems 29 (1), 3-14, 1996 | 31 | 1996 |
Formal Methods for Conformance Testing: Results and Perspectives. AR Cavalli, JP Favreau, M Phalippou Protocol Test Systems 19, 3-17, 1993 | 30 | 1993 |
Executable testers M Phalippou Proceedings of the IFIP TC6/WG6. 1 Sixth International Workshop on Protocol …, 1993 | 29 | 1993 |
Assessment of automatic generation methods of conformance test suites in an industrial context L Doldi, V Encontre, JC Fernandez, T Jéron, S Le Bricquir, N Texier, ... Testing of Communicating Systems: IFIP TC6 9th International Workshop on …, 1996 | 21 | 1996 |
Test sequence generation using Estelle or SDL structure information M Phalippou Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 21 | 1995 |
Test sequence generation using Estelle or SDL structure information M Phalippou Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 21 | 1995 |
Evaluation of an empirical approach for computer-aided test case generation M Phalippou, R Groz 3rd International Workshop on Protocol Test Systems (IWPTS’90), McLean VA, USA, 1990 | 20 | 1990 |
The limited power of testing M Phalippou Proceedings of the IFIP TC6/WG6. 1 Fifth International Workshop on Protocol …, 1992 | 16 | 1992 |
Using Estelle for Verification-An Experience with the T. 70 Teletex Transport Protocol M Phalippou, R Groz Proceedings of the First International Conference on Formal Description …, 1988 | 13 | 1988 |
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach M Phalippou, R Groz Proceedings of the IFIP TC6/WG6. 1 Third International Conference on Formal …, 1990 | 10 | 1990 |
Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérification R Anido, A Cavalli, T Macavei, LP Lima, M Clatin, M Phalippou Proceeding of CFIP96/Cinquième Colloque Francophone sur l Ingénierie des …, 1996 | 9 | 1996 |
Testing a real protocol with the aid of verification techniques R Anido, A Cavalli, T Macavei, LP Lima, M Clatin, M Phalippou HUNGARIAN ACADEMY OF SCIENCES CENTRAL RESEARCH INSTITUTE FOR PHYSICS …, 1996 | 8 | 1996 |
Evaluation of some test generation tools on a real protocol example L Boullier, B Kelly, M Phalippou, A Rouger, N Webster Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop …, 1995 | 8 | 1995 |
Test cases generation from formal specifications A Rouger, M Phalippou Proceedings of the 14th International Switching Symposium, C10, 1992 | 6 | 1992 |
Evaluation of an empirical approach for computer-aided test cases generation, proceedings of the 3rd IWPTS M Phalippou, R Groz Washington, October, 1990 | 6 | 1990 |
Specification of the isdn linc access protocol for d-channel (lapd), ccitt recommendation q. 921 R Groz, M Phalippou, M Brossard | 6 | |
Abstract testing and concrete testers M Phalippou Protocol Specification, Testing and Verification XIV, 221-236, 1995 | 5 | 1995 |