TY - GEN
T1 - Comparing TorX, Autolink, TGV and UIO test algorithms
AU - Goga, N.
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
U2 - 10.1007/3-540-48213-X_24
DO - 10.1007/3-540-48213-X_24
M3 - Conference contribution
SN - 3-540-42281-1
T3 - Lecture Notes in Computer Science
SP - 379
EP - 402
BT - SDL 2001: Meeting UML (Proceedings 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001)
A2 - Reed, R.
A2 - Reed, J.
PB - Springer
CY - Berlin
ER -