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