J. Romijn and J. Springintveld. Exploiting symmetry in protocol testing. In Budkowski et al. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001) (Correct)
....III, the tests already delivered to CECOM contain approximately 10,000 test steps. It is clear that manually generating test sets of this size from the protocol textual description is not a trivial task. A number of conformance test generation techniques have been proposed [1] 7] 9] 50] [57], 59] 63] 66] each of which is expected to give better results for a certain class of protocol specifications depending on the nature and size of the protocol. The experience obtained in generating tests for 188220 suggests that to successfully test today s complex protocols by using formal ....
J. Romijn and J. Springintveld. Exploiting symmetry in protocol testing. In Budkowski et al.
A Formal Approach to Development of Network Protocols: Theory.. - Uyar, Fecko (2001) (Correct)
....As seen from Table 3, the tests already delivered to CECOM contain approximately 10,000 test steps. It is clear that manually generating test sets of this size from the protocol textual description is not a trivial task. A number of conformance test generation techniques have been proposed [2, 8, 10, 54, 62, 64, 68, 71], each of which is expected to give better results for a certain class of protocol specifications depending on the nature and size of the protocol. The experience obtained in generating tests for 188 220 suggests that to successfully test today s complex protocols by using formal methods, an ....
J. Romijn and J. Springintveld. Exploiting symmetry in protocol testing. In Budkowski et al. [11], 337--351.
Experience in Developing and Testing Network Protocol .. - Uyar, Fecko, Duale.. (Correct)
....As seen from Table 3, the tests already delivered to CECOM contain approximately 10,000 test steps. It is clear that manually generating test sets of this size from the protocol textual description is not a trivial task. A number of conformance test generation techniques have been proposed [2,8,10,55,62,64,69,72], each of which is expected to give better results for a certain class of protocol specifications depending on the nature and size of the protocol. The experience obtained in generating tests for 188 220 suggests that to successfully test today s complex protocols by using formal methods, an ....
J. Romijn and J. Springintveld. Exploiting symmetry in protocol testing. In Budkowski et al. [12], 337--351.
A Success Story of Formal Description Techniques.. - Fecko, Uyar.. (2000) (4 citations) (Correct)
....part of synergistic efforts to develop C 4 I systems. to CECOM contain approximately 10,000 test steps. It is clear that manually generating test sets of this size from the protocol textual description is not a trivial task. A number of conformance test generation techniques have been proposed [1,7,9,46,53,55,59,62], each of which is expected to give better results for a certain class of protocol specifications depending on the nature and size of the protocol. The experience obtained in generating tests for 188 220 suggests that to successfully test today s complex protocols by using formal methods, an ideal ....
J. Romijn, J. Springintveld, Exploiting symmetry in protocol testing, in: S. Budkowski, A. Cavalli, E. Najm (Eds.), Proc. IFIP Joint Int. Conf. FORTE/PSTV, Paris, France, Kluwer, Boston, MA, 1998, pp. 337--351.
A Success Story of Formal Description Techniques.. - Fecko, Uyar, Amer.. (1999) (4 citations) (Correct)
....As seen from Table 3, the tests already delivered to CECOM contain approximately 10,000 test steps. It is clear that manually generating test sets of this size from the protocol textual description is not a trivial task. A number of conformance test generation techniques have been proposed [1,8,10,45,51,53,57,60], each of which is expected to give better results for a certain class of protocol specifications depending on the nature and size of the protocol. The experience obtained in generating tests for 188 220 suggests that to successfully test today s complex protocols by using formal methods, an ideal ....
J. Romijn and J. Springintveld. Exploiting symmetry in protocol testing. In Budkowski et al. [11], pp. 337--351.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC