Controllability and observability in distributed testing L Cacciari, O Rafiq Information and Software technology 41 (11-12), 767-780, 1999 | 119 | 1999 |
Coordination algorithm for distributed testing O Rafiq, L Cacciari The Journal of Supercomputing 24, 203-211, 2003 | 76 | 2003 |
From conformance testing to interoperability testing O Rafiq Third International Workshop on Protocol Test Systems, 1990, 1990 | 62 | 1990 |
Principles and tools for testing open distributed systems M Benattou, L Cacciari, R Pasini, O Rafiq Testing of Communicating Systems: Methods and Applications, 77-92, 1999 | 31 | 1999 |
Towards testable communication software R Dssouli, K Karoui, A Petrenko, O Rafiq Protocol Test Systems VIII: Proceedings of the IFIP WG6. 1 TC6 Eighth …, 1996 | 20 | 1996 |
On improving reduced reachability analysis L Cacciari, O Rafiq Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 19 | 1992 |
A temporal reachability analysis L Cacciari, O Rafiq Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996 | 15 | 1996 |
Coordination Issues in Distributed Testing. O Rafiq, L Cacciari, M Benattou PDPTA, 793-799, 1999 | 14 | 1999 |
The astride testing approach: principles, tools and carrying out O Rafiq Computer standards & interfaces 11 (2), 85-94, 1990 | 11 | 1990 |
Towards an environment for testing OSI protocols O Rafiq, R Castanet, C Chraibi, JP Goursaud, J Haddad, X Perdu Proceedings of the IFIP WG6. 1 Fifth International Conference on Protocol …, 1985 | 11 | 1985 |
Decidability issues in reduced reachability analysis L Cacciari, O Rafiq 1993 International Conference on Network Protocols, 158-165, 1993 | 9 | 1993 |
Description, simulation and implementation of communication protocols using PDIL JP Ansart, V Chari, M Neyer, O Rafiq, D Simon ACM SIGCOMM Computer Communication Review 13 (2), 112-120, 1983 | 8 | 1983 |
Validation of protocols with temporal constraints L Cacciari, O Rafiq Computer communications 19 (14), 1188-1199, 1996 | 7 | 1996 |
Filetest d’interopérabilité des protocoles O Rafiq Ingénierie des protocoles, 543-558, 1991 | 7 | 1991 |
Tools and methodology for testing OSI protocol entities O Rafiq Proc. Fifteenth Internat. Symp. on Fault Tolerant Computing (FTCS15), 184-189, 1985 | 7 | 1985 |
VADILOC-A Protocol Validator and Its Applications. O Rafiq, JP Ansart Protocol Specification, Testing, and Verification, 189-197, 1983 | 7* | 1983 |
A methodology for the synthesis of communication gateways for network interoperability K Saleh, M Jaragh, O Rafiq Computer standards & interfaces 17 (2), 193-207, 1995 | 6 | 1995 |
PDIL-Protocol Description and Implementation Language JP Ansart, O Rafiq, V Chari Proceedings of the IFIP WG6. 1 Second International Workshop on Protocol …, 1982 | 5 | 1982 |
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. R Castanet, P Guitton, O Rafiq PSTV, 111-125, 1984 | 4 | 1984 |
Protocol Description and Implementation Language (PDIL) JP Ansart, O Rafiq, V Chari Protocol Specification, Verification and Testing II, 17-20, 1982 | 4 | 1982 |