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 conference › Paper

    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

    Access to Document

    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.