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


    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
    Number of pages8
    Publication statusPublished - Aug 2000


    • 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.