| |
| 2002 | ||
|---|---|---|
| 3 | Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi: Automated Generation of Interoperability Tests. TestCom 2002: 169- | |
| 2001 | ||
| 2 | EE | Cédric Besse, Ana R. Cavalli, Ferhat Khendek: Partial Validation of a Design Specification with Respect to Requirements. APAQS 2001: 131-140 |
| 1999 | ||
| 1 | EE | Cédric Besse, Ana R. Cavalli, David Lee: An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ASE 1999: 73-80 |
| 1 | Ana R. Cavalli | [1] [2] [3] |
| 2 | Ferhat Khendek | [2] |
| 3 | Myungchul Kim | [3] |
| 4 | David Lee | [1] |
| 5 | Fatiha Zaïdi | [3] |