Comparing TorX, Autolink, TGV and UIO test algorithms

N. Goga

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationSDL 2001: Meeting UML (Proceedings 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001)
EditorsR. Reed, J. Reed
Place of PublicationBerlin
ISBN (Print)3-540-42281-1
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Comparing TorX, Autolink, TGV and UIO test algorithms'. Together they form a unique fingerprint.

Cite this