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 conferencePaper

    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

    Keywords

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

    Cite this

    Ural, H. (Ed.), Du Bousquet, L., Ramangalahy, S., Probert, R. L. (Ed.), von Bochmann, G. (Ed.), Simon, S., ... de Vries, R. G. (2000). Formal Test Automation: The Conference protocol with TGV/TorX. 221-228.