Formal Test Automation: The Conference protocol with TGV/TorX

Hasan Ural (Editor), Lydie Du Bousquet, Solofo Ramangalahy, Robert L. Probert (Editor), Gregor von Bochmann (Editor), Severine Simon, Cesar Viho, Axel Belinfante, R.G. de Vries

    Research output: Contribution to conferencePaperAcademicpeer-review

    Abstract

    We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in [2]. Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.
    Original languageUndefined
    Pages221-228
    Number of pages8
    Publication statusPublished - Aug 2000
    Event13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000 - Ottawa, ON, Canada
    Duration: 29 Aug 20001 Sep 2000

    Conference

    Conference13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000
    Period29/08/001/09/00
    OtherAugust 29 - September 1, 2000

    Keywords

    • FMT-TESTING
    • IR-63319
    • EWI-6513

    Cite this