Search

Your search keyword '"Viho, Cesar"' showing total 1 results
Start Over Author "Viho, Cesar" Database OpenAIRE
1 results on '"Viho, Cesar"'

1. Formal Test Automation: The Conference protocol with TGV/TorX

Author

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

Subjects
IR-63319, FMT-TESTING, EWI-6513
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.

Published
2000

Catalog

Books, media, physical & digital resources
See catalog results