Formal Test Automation: The Conference protocol with TGV/TorX

Authors :: Ural, Hasan
Du Bousquet, Lydie
Ramangalahy, Solofo
Probert, Robert L.
von Bochmann, Gregor
Simon, Severine
Viho, Cesar
Belinfante, Axel
de Vries, R.G.
Source :: STARTPAGE=221;ENDPAGE=228;TITLE=None
Publication Year :: 2000
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.