Probabilistic testing for a distributed conference protocol

N. Goga

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

    Abstract

    In [L. Feijs, et al., 2000] we proposed a generalization of the TorX test derivation algorithm with probabilities. The current work extends the theoretical work from [L. Feijs, et al., 2000], by presenting experimental results obtained with the probabilistic TorX. The experiment with the distributed 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 languageEnglish
    Title of host publicationProceedings 2004 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2004)
    Place of PublicationPiscataway
    PublisherInstitute of Electrical and Electronics Engineers
    Pages5154-5158
    Number of pages5
    ISBN (Print)0-7803-8566-7
    DOIs
    Publication statusPublished - 2004
    EventInternational Conference on Systems, Man, and Cybernetics (IEEE SMC 2004) - The Hague, Netherlands
    Duration: 10 Oct 200413 Oct 2004

    Conference

    ConferenceInternational Conference on Systems, Man, and Cybernetics (IEEE SMC 2004)
    Country/TerritoryNetherlands
    CityThe Hague
    Period10/10/0413/10/04

    Fingerprint

    Dive into the research topics of 'Probabilistic testing for a distributed conference protocol'. Together they form a unique fingerprint.

    Cite this