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.
    Ural, Hasan (Editor) ; Du Bousquet, Lydie ; Ramangalahy, Solofo ; Probert, Robert L. (Editor) ; von Bochmann, Gregor (Editor) ; Simon, Severine ; Viho, Cesar ; Belinfante, Axel ; de Vries, R.G. / Formal Test Automation: The Conference protocol with TGV/TorX. 8 p.
    @conference{a033b401b16e44e0921e5ffdab470c8a,
    title = "Formal Test Automation: The Conference protocol with TGV/TorX",
    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.",
    keywords = "FMT-TESTING, IR-63319, EWI-6513",
    author = "Hasan Ural and {Du Bousquet}, Lydie and Solofo Ramangalahy and Probert, {Robert L.} and {von Bochmann}, Gregor and Severine Simon and Cesar Viho and Axel Belinfante and {de Vries}, R.G.",
    year = "2000",
    month = "8",
    language = "Undefined",
    pages = "221--228",

    }

    Ural, H (ed.), Du Bousquet, L, Ramangalahy, S, Probert, RL (ed.), von Bochmann, G (ed.), Simon, S, Viho, C, Belinfante, A & de Vries, RG 2000, 'Formal Test Automation: The Conference protocol with TGV/TorX' pp. 221-228.

    Formal Test Automation: The Conference protocol with TGV/TorX. / Ural, Hasan (Editor); Du Bousquet, Lydie; Ramangalahy, Solofo; Probert, Robert L. (Editor); von Bochmann, Gregor (Editor); Simon, Severine; Viho, Cesar; Belinfante, Axel; de Vries, R.G.

    2000. 221-228.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Formal Test Automation: The Conference protocol with TGV/TorX

    AU - Du Bousquet, Lydie

    AU - Ramangalahy, Solofo

    AU - Simon, Severine

    AU - Viho, Cesar

    AU - Belinfante, Axel

    AU - de Vries, R.G.

    A2 - Ural, Hasan

    A2 - Probert, Robert L.

    A2 - von Bochmann, Gregor

    PY - 2000/8

    Y1 - 2000/8

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

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

    KW - FMT-TESTING

    KW - IR-63319

    KW - EWI-6513

    M3 - Paper

    SP - 221

    EP - 228

    ER -

    Ural H, (ed.), Du Bousquet L, Ramangalahy S, Probert RL, (ed.), von Bochmann G, (ed.), Simon S et al. Formal Test Automation: The Conference protocol with TGV/TorX. 2000.