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 › peer-review

1 Downloads (Pure)

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 International Conference on Testing Communicating Systems, TestCom 2000 - Ottawa, Canada Duration: 29 Aug 2000 → 1 Sept 2000 Conference number: 13

Conference

Conference	13th IFIP International Conference on Testing Communicating Systems, TestCom 2000
Abbreviated title	TestCom
Country/Territory	Canada
City	Ottawa
Period	29/08/00 → 1/09/00

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 International Conference on Testing Communicating Systems, TestCom 2000, Ottawa, Ontario, Canada. http://eprints.eemcs.utwente.nl/secure2/6513/01/DuBousquet-Ramangalahy-et-al-00.pdf

@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 = "13th IFIP International Conference on Testing Communicating Systems, TestCom 2000 ; 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 International Conference on Testing Communicating Systems, TestCom 2000, Ottawa, Canada, 29/08/00 - 1/09/00 pp. 221-228. <http://eprints.eemcs.utwente.nl/secure2/6513/01/DuBousquet-Ramangalahy-et-al-00.pdf>

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

N1 - Conference code: 13

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

T2 - 13th IFIP International Conference on Testing Communicating Systems, TestCom 2000

Y2 - 29 August 2000 through 1 September 2000

ER -