Experimenting with the probabilistic TorX

N. Goga

    Research output: Contribution to conferencePaperAcademicpeer-review

    1 Downloads (Pure)

    Abstract

    In [4] we proposed a generalization of the TorX test derivation algorithm with probabilities. This paper extends the theoretical work from [4], by presenting experimental results obtained with the probabilistic TorX. The experiment with the Conference Protocol case study confirms that 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
    Pages13-20
    Number of pages8
    Publication statusPublished - 2003
    EventSoftware Engineering for High Assurance Systems (SEHAS '03) - Portland, Oregon, USA
    Duration: 9 May 200310 May 2003

    Workshop

    WorkshopSoftware Engineering for High Assurance Systems (SEHAS '03)
    Period9/05/0310/05/03
    Other9-10 May 2003

    Keywords

    • FMT-TESTING
    • IR-63327
    • EWI-6534

    Cite this