Portal de Periódicos da CAPES

Comparing TorX, Autolink, TGV and UIO Test Algorithms

2001; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-48213-x_24

1611-3349

Nicolae Goga,

Formal Methods in Verification

This paper presents a comparison of four algorithms for test derivation: TorX, TGV, Autolink and UIO algorithms. The algorithms are classified according to the detection power of their conformance relations. Because Autolink does not have an explicit conformance relation, a conformance relation is reconstructed for it. The experimental results obtained by applying TorX, Autolink, UIO and TGV to the Conference Protocol case study are consistent with the theoretical results of this paper.