Back to Search
Start Over
Formal Test Automation: The Conference protocol with TGV/TorX
- 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.
- Subjects :
- IR-63319
FMT-TESTING
EWI-6513
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- STARTPAGE=221;ENDPAGE=228;TITLE=None
- Accession number :
- edsair.narcis........982c0c2c20d0aace3718387d8bd0fae8