An Optimization of the TorX Test Generation Algorithm

N. Goga

    Research output: Contribution to journalArticleProfessional

    17 Downloads (Pure)

    Abstract

    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
    Volume8
    Issue number2
    Publication statusPublished - 2000

    Keywords

    • METIS-121923
    • IR-70500

    Cite this