Formal Test Automation: The Conference protocol with TGV/TorX

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

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 › Academic › peer-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 language	Undefined
Pages	221-228
Number of pages	8
Publication status	Published - Aug 2000
Event	13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000 - Ottawa, ON, Canada Duration: 29 Aug 2000 → 1 Sep 2000

Conference

Conference	13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000
Period	29/08/00 → 1/09/00
Other	August 29 - September 1, 2000

Keywords

FMT-TESTING
IR-63319
EWI-6513

Access to Document

http://eprints.eemcs.utwente.nl/secure2/6513/01/DuBousquet-Ramangalahy-et-al-00.pdf

Cite this

Ural, H. (Ed.), Du Bousquet, L., Ramangalahy, S., Probert, R. L. (Ed.), von Bochmann, G. (Ed.), Simon, S., Viho, C., Belinfante, A., & de Vries, R. G. (2000). Formal Test Automation: The Conference protocol with TGV/TorX. 221-228. Paper presented at 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, . http://eprints.eemcs.utwente.nl/secure2/6513/01/DuBousquet-Ramangalahy-et-al-00.pdf

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. Paper presented at 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, .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 = aug,

language = "Undefined",

pages = "221--228",

note = "null ; Conference date: 29-08-2000 Through 01-09-2000",

}

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', Paper presented at 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, 29/08/00 - 1/09/00 pp. 221-228. <http://eprints.eemcs.utwente.nl/secure2/6513/01/DuBousquet-Ramangalahy-et-al-00.pdf>

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 Paper presented at 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, .

Research output: Contribution to conference › Paper › Academic › peer-review

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

Y2 - 29 August 2000 through 1 September 2000

ER -