An Optimization of the TorX Test Generation Algorithm

N. Goga

    Research output: Contribution to journalArticleProfessional

    48 Downloads (Pure)


    In this paper we will discuss the process of automatic test derivation from formal specification. The process will be illustrated in the TORX algorithm. We will present an optimization of TORX. The extension of the algorithm with explicit probabilities leads to improvements in the tests generated with respect to the chances of finding errors in the implementation.
    Original languageUndefined
    Pages (from-to)15-21
    JournalXootic magazine
    Issue number2
    Publication statusPublished - 2000


    • METIS-121923
    • IR-70500

    Cite this